Temporal specification testing of hybrid systems.

Thao Dang Tommaso Dreossi

Published in: CASE (2017)

Keyphrases

hybrid systems
intelligent systems
black box
discrete event
meta learning
neural network
soft computing
artificial intelligence
computational intelligence
temporal reasoning
temporal constraints
test cases
temporal information
machine learning algorithms