Direct Verification of Linear Systems with over 10000 Dimensions (Experience Report)
| Title | Direct Verification of Linear Systems with over 10000 Dimensions (Experience Report) |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Stanley Bak, Parasara Sridhar Duggirala |
| Conference Name | 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, Pittsburgh, USA |
| Keywords | 1739936 |
| Citation Key | DBLP:conf/cpsweek/BakD17 |