Hybrid systems: from verification to falsification by combining motion planning and discrete search.
Erion PlakuLydia E. KavrakiMoshe Y. VardiPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- motion planning
- hybrid systems
- path planning
- degrees of freedom
- mobile robot
- trajectory planning
- search algorithm
- humanoid robot
- neural network
- black box
- search strategy
- soft computing
- multi robot
- search problems
- discrete event
- configuration space
- intelligent systems
- search space
- artificial neural networks
- face recognition
- real time
- dynamic environments
- artificial intelligence