Efficient Parameter Synthesis Using Optimized State Exploration Strategies
Keyword(s):
2011 ◽
Vol 84
(9)
◽
pp. 1553-1564
◽
2014 ◽
pp. 176-189
◽