- Robustness and Implementability of Timed Automata Martin De Wulf Laurent Doyen Nicolas Markey Jean-François Raskin Mon 06 January 2020
- An algorithm for learning real-time automata Sicco Verwer Mathijs de Weerdt Cees Witteveen Mon 06 January 2020
- Efficiently identifying deterministic real-time automata from labeled data Sicco Verwer Mathijs de Weerdt Cees Witteveen Mon 06 January 2020
- Time to Learn - Learning Timed Automata from Tests Martin Tappler Bernhard K. Aichernig Kim Guldstrand Larsen Florian Lorber Mon 06 January 2020
- Learning Timed Automata via Genetic Programming Martin Tappler Bernhard K. Aichernig Kim Guldstrand Larsen Florian Lorber Mon 06 January 2020
- Automated test generation from timed automata Brian Nielsen Arne Skou Mon 06 January 2020
- Automated Test Generation from Timed Automata Brian Nielsen Arne Skou Mon 06 January 2020
- Fault Diagnosis Using Timed Automata Patricia Bouyer Fabrice Chevalier Deepak D'Souza Mon 06 January 2020
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness P. Vijay Suman Paritosh K. Pandya Shankara Narayanan Krishna Lakshmi Manasa Mon 06 January 2020
- Conformance testing for real-time systems Moez Krichen Stavros Tripakis Mon 06 January 2020
- When Are Timed Automata Determinizable Christel Baier Nathalie Bertrand Patricia Bouyer Thomas Brihaye Mon 06 January 2020
- Revisiting Local Time Semantics for Networks of Timed Automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Mon 06 January 2020
- Solving Sequential Conditions by Finite-State Strategies J. Richard Buchi Lawrence H. Landweber Fri 03 January 2020
- Axiom of choice and complementation Radu Diaconescu Thu 02 January 2020
- Reflected Decision Procedures in Lean Seul Baek Thu 02 January 2020
- Computers and Mathematics Kevin Buzzard Wed 01 January 2020
- Programming in Lean Jeremy Avigad Leonardo de Moura Jared Roesch Wed 01 January 2020
- Two Tools for Formalizing Mathematical Proofs Robert Y. Lewis Wed 01 January 2020
- Automation and Computation in the Lean Theorem Prover Robert Y. Lewis Leonardo de Moura Wed 01 January 2020
- Learning Logic and Proof with an Interactive Theorem Prover Jeremy Avigad Wed 01 January 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
