C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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