Login / Signup
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Tommaso Dreossi
Thao Dang
Alexandre Donzé
James Kapinski
Xiaoqing Jin
Jyotirmoy V. Deshmukh
Published in:
NFM (2015)
Keyphrases
</>
hybrid systems
temporal properties
model checking
discrete event
intelligent systems
feature selection