Hierarchical Abstractions for Reachability Analysis of Probabilistic Hybrid Systems.
Ratan LalPavithra PrabhakarPublished in: Allerton (2018)
Keyphrases
- hybrid systems
- reachability analysis
- intelligent systems
- black box
- markov decision processes
- model checking
- neural network
- soft computing
- computational intelligence
- timed automata
- incremental algorithms
- meta learning
- discrete event
- artificial intelligence
- bayesian networks
- genetic algorithm
- genetic programming
- dynamic programming
- simulation model
- inductive learning