Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis (Q4899145)
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: Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis |
scientific article; zbMATH DE number 6122419
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis |
scientific article; zbMATH DE number 6122419 |
Statements
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (English)
0 references
7 January 2013
0 references
0.8402816653251648
0 references
0.826244056224823
0 references
0.7408736944198608
0 references
0.7330141067504883
0 references
