Biblio
Filters: Keyword is 1739936 [Clear All Filters]
.
2016. Parsimonious, Simulation Based Verification of Linear Systems. Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}. :477–494.
.
2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :401–420.
.
2017. Direct Verification of Linear Systems with over 10000 Dimensions (Experience Report). 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, Pittsburgh, USA.
.
2017. HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :173–178.
.
2017. Rigorous Simulation-Based Analysis of Linear Hybrid Systems. Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedin. :555–572.