- Optimal paths in weighted timed automata Rajeev Alur Salvatore La Torre George J. Pappas Thu 29 April 2021
- A survey of computational complexity results in systems and control Vincent D. Blondel John N. Tsitsiklis Thu 18 March 2021
- A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers Taolue Chen Marco Diciolla Marta Kwiatkowska Alexandru Mereacre Tue 15 July 2014
- Formal Verification of Hybrid Systems Rajeev Alur Wed 27 November 2013
- Amir Pnueli and the Dawn of Hybrid Systems Oded Maler Sun 17 November 2013
- Reachability analysis of hybrid systems with linear continuous dynamics Colas Le Guernic Sun 17 November 2013
- Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable Stefan Ratschan Sun 17 November 2013
- Verifying safety properties of differential equations Mark R. Greenstreet Sun 17 November 2013
- Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs Antoine Girard Colas Le Guernic Oded Maler Sun 17 November 2013
- SpaceEx: Scalable Verification of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donzé Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Sun 17 November 2013
- Computing Reachable States for Nonlinear Biological Models Thao Dang Colas Le Guernic Oded Maler Sun 17 November 2013
- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems Eugene Asarin Thao Dang Oded Maler Olivier Bournez Sun 17 November 2013
- Hybridization methods for the analysis of nonlinear systems Eugene Asarin Thao Dang Antoine Girard Sun 17 November 2013
Library Size: 13G (13 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
