- Stochastic Processes with Expected Stopping Time Krishnendu Chatterjee Laurent Doyen Sun 02 May 2021
- Symbolic Time and Space Tradeoffs for Probabilistic Verification Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Alexander Svozil Sun 02 May 2021
- Forbidden Induced Subgraphs and the Tarski Theorem Yijia Chen Joerg Flum Sun 02 May 2021
- Optimal controller synthesis for timed systems Damien Busatto-Gaston Benjamin Monmege Pierre-Alain Reynier Sun 02 May 2021
- Reachability Switching Games John Fearnley Martin Gairing Matthias Mnich Rahul Savani Fri 30 April 2021
- Towards a more efficient approach for the satisfiability of two-variable logic Ting-Wei Lin Chia-Hsuan Lu Tony Tan Fri 30 April 2021
- A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis Preey Shah Aman Bansal S. Akshay Supratik Chakraborty Fri 30 April 2021
- Deciding Full Branching Time Logic by Program Transformation Alberto Pettorossi Maurizio Proietti Valerio Senni Fri 30 April 2021
- Reachability in Vector Addition Systems is Ackermann-complete Wojciech Czerwiński Łukasz Orlikowski Thu 29 April 2021
- Polynomial interrupt timed automata: Verification and expressiveness B. Bérard S. Haddad C. Picaronny M. Safey El Din M. Sassolas Thu 29 April 2021
- What Will Be Eventually True of Polynomial Hybrid Automata Martin Franzle Thu 29 April 2021
- Concavely-Priced Timed Automata Marcin Jurdziński Ashutosh Trivedi Thu 29 April 2021
- On Nonlinear Prices in Timed Automata Devendra Bhave Shankara Narayanan Krishna Ashutosh Trivedi Thu 29 April 2021
- Multi-weighted Automata Models and Quantitative Logics Vitaly Perevoshchiko Thu 29 April 2021
- Multi-weighted Automata and MSO Logic Manfred Droste Vitaly Perevoshchikov Thu 29 April 2021
- State equivalences for rectangular hybrid automata Thomas A. Henzinger Peter W. Kopke Thu 29 April 2021
- An Equivalence Result between Linear Hybrid Automata and Piecewise Affine Systems Stefano Di Cairano Alberto Bemporad Thu 29 April 2021
- Taylor approximation for hybrid systems Ruggero Lanotte Simone Tini Thu 29 April 2021
- Approximate Equivalence of the Hybrid Automata with Taylor Theory Guiming Luo Anping He Jinzhao Wu Shihan Yang Hongyan Tan Thu 29 April 2021
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems Rajeev Alur Costas Courcoubetis Thomas A. Henzinger Pei-Hsin Ho Thu 29 April 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
