- On the Decidability of Membership in Matrix-exponential Semigroups Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Fri 19 July 2019
- What's Decidable about Hybrid Automata Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya Wed 17 April 2013
- What's decidable about hybrid automata Thomas A. Henzinger Peter W. Kopke Anuj Puri Pravin Varaiya Wed 17 April 2013
- The algorithmic analysis of hybrid systems R. Alur C. Courcoubetis N. Halbwachs T. A. Henzinger P.-H. Ho X. Nicollin A. Olivero J. Sifakis S. Yovine Tue 22 January 2013
- Reachability for linear hybrid automata using iterative relaxation abstraction Sumit K. Jha Bruce H. Krogh James E. Weimer Edmund M. Clarke Tue 22 January 2013
- Hybrid automata with finite bisimulations Thomas Henzinger Sat 29 December 2012
- Automata and Hybrid Systems Boris Trakhtenbrot Mon 10 December 2012
- The theory of hybrid automata T.A. Henzinger Fri 07 December 2012
- Non-standard semantics of hybrid systems modelers Albert Benveniste Timothy Bourke Benoît Caillaud Marc Pouzet Thu 31 May 2012
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling Kohei Suenaga Ichiro Hasuo Thu 31 May 2012
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
