Satisfaction of linear temporal logic specifications through recurrence tools for hybrid systems.
Andrea BisoffiDimos V. DimarogonasPublished in: CoRR (2020)
Keyphrases
- hybrid systems
- linear temporal logic
- bounded model checking
- black box
- meta learning
- temporal logic
- soft computing
- model checking
- intelligent systems
- artificial intelligence
- neural network
- discrete event
- computational intelligence
- specification language
- programming language
- rough sets
- dynamic systems
- formal methods
- fuzzy logic
- concurrent systems
- decision making