Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.
Werner DammGuilherme PintoStefan RatschanPublished in: ATVA (2005)
Keyphrases
- hybrid systems
- model checking
- intelligent systems
- temporal logic
- black box
- discrete event
- neural network
- bounded model checking
- soft computing
- computational intelligence
- artificial intelligence
- meta learning
- linear time temporal logic
- knowledge acquisition
- evolutionary algorithm
- search algorithm
- linear temporal logic
- reinforcement learning
- machine learning