Automatic Verification of Hybrid Systems with Large Discrete State Space.
Werner DammStefan DischHardi HungarJun PangFlorian PigorschChristoph SchollUwe WaldmannBoris WirtzPublished in: ATVA (2006)
Keyphrases
- hybrid systems
- state space
- black box
- soft computing
- neural network
- intelligent systems
- discrete event
- dynamical systems
- reinforcement learning
- heuristic search
- artificial intelligence
- computational intelligence
- meta learning
- dynamic programming
- orders of magnitude
- search space
- planning problems
- search problems
- dynamic systems
- particle filter
- prediction accuracy
- learning process
- data mining