Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems.
Andrea BisoffiDimos V. DimarogonasPublished in: IEEE Trans. Autom. Control. (2021)
Keyphrases
- hybrid systems
- linear temporal logic
- bounded model checking
- black box
- intelligent systems
- soft computing
- temporal logic
- meta learning
- model checking
- discrete event
- neural network
- computational intelligence
- artificial intelligence
- formal verification
- transition systems
- data mining
- multi agent systems
- genetic algorithm
- machine learning