Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Hybrid systems: From verification to falsification by combining motion planning and discrete search |
scientific article; zbMATH DE number 5637096
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid systems: From verification to falsification by combining motion planning and discrete search |
scientific article; zbMATH DE number 5637096 |
Statements
Hybrid systems: From verification to falsification by combining motion planning and discrete search (English)
0 references
23 November 2009
0 references
hybrid system
0 references
safety properties
0 references
robot motion planning
0 references
discrete search
0 references
sampling-based planning
0 references
decomposition
0 references
nonlinear dynamics
0 references
