Falsification of LTL safety properties in hybrid systems.

Erion Plaku Lydia E. Kavraki Moshe Y. Vardi

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

hybrid systems
black box
neural network
meta learning
artificial intelligence
discrete event
computational intelligence
genetic programming
intelligent systems
genetic algorithm
decision making
soft computing