Reachability Analysis of Hybrid Systems via Predicate Abstraction.
Rajeev AlurThao DangFranjo IvancicPublished in: HSCC (2002)
Keyphrases
- hybrid systems
- reachability analysis
- markov decision processes
- model checking
- intelligent systems
- black box
- meta learning
- neural network
- computational intelligence
- soft computing
- timed automata
- incremental algorithms
- artificial intelligence
- discrete event
- state space
- first order logic
- machine learning
- decision making
- search problems
- theorem prover
- simulation model
- evolutionary computation
- dynamic programming
- evolutionary algorithm
- reinforcement learning