Certifying the LTL Formula p Until q in Hybrid Systems.

Hyejin Han Mohamed Maghenem Ricardo G. Sanfelice

Published in: CoRR (2021)

Keyphrases

hybrid systems
linear temporal logic
black box
temporal logic
intelligent systems
neural network
meta learning
computational intelligence
model checking
soft computing
artificial intelligence
discrete event
workflow systems
feature selection
artificial neural networks
model selection
decision trees
search problems