Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming (Q2864385)
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: Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming |
scientific article; zbMATH DE number 6236394
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming |
scientific article; zbMATH DE number 6236394 |
Statements
6 December 2013
0 references
linear hybrid automata
0 references
bounded model checking
0 references
reachability analysis
0 references
linear programming
0 references
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming (English)
0 references
0.8007755279541016
0 references
0.7879148125648499
0 references
0.7659585475921631
0 references
0.7596601247787476
0 references
