Certifying the LTL Formula p Until q in Hybrid Systems.

Hyejin Han Mohamed Maghenem Ricardo G. Sanfelice

Published in: IEEE Trans. Autom. Control. (2023)

Keyphrases

hybrid systems
linear temporal logic
black box
intelligent systems
meta learning
neural network
temporal logic
model checking
computational intelligence
soft computing
artificial intelligence
discrete event
fuzzy logic
knowledge base
decision trees
rough sets