Simulation-Equivalent Reachability of Large Linear Systems with Inputs
| Title | Simulation-Equivalent Reachability of Large Linear Systems with Inputs |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Stanley Bak, Parasara Sridhar Duggirala |
| Conference Name | Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I |
| Keywords | 1739936 |
| URL | https://doi.org/10.1007/978-3-319-63387-9_20 |
| DOI | 10.1007/978-3-319-63387-9_20 |
| Citation Key | DBLP:conf/cav/BakD17 |