- Approximately bisimilar symbolic models for nonlinear control systems Giordano Pola Antoine Girard Paulo Tabuada Mon 17 May 2021
- A Lyapunov approach to incremental stability properties D. Angeli Mon 17 May 2021
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions Majid Zamani Giordano Pola Manuel Mazo Paulo Tabuada Mon 17 May 2021
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers Gunther Reissig Alexander Weber Matthias Rungger Mon 17 May 2021
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications Yinan Li Jun Liu Mon 17 May 2021
- Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties Jun Liu Mon 17 May 2021
- On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders Mirna Dżamonja Sylvain Schmitz Philippe Schnoebelen Wed 12 May 2021
- Variants of Schanuel's conjecture Jonathan Kirby Wed 12 May 2021
- Schanuel property for additive power series Piotr Kowalski Wed 12 May 2021
- On sets of terms with a given intersection type Richard Statman Andrew Polonsky Wed 12 May 2021
- A Variety Theorem for Relational Universal Algebra Chad Nester Wed 12 May 2021
- Idris 2: Quantitative Type Theory in Practice Edwin Brady Tue 11 May 2021
- Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani Fri 07 May 2021
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Shibashis Guha Ismael Jecker Karoliina Lehtinen Martin Zimmermann Fri 07 May 2021
- Beyond ømega-regular languages: ømegaT-regular expressions and their automata and logic counterparts David Barozzini David de Frutos-Escrig Dario Della Monica Angelo Montanari Pietro Sala Thu 06 May 2021
- Higher-Order Nonemptiness Step by Step Paweł Parys Thu 06 May 2021
- Higher-Order Model Checking Step by Step Paweł Parys Thu 06 May 2021
- Deterministic and game separability for regular languages of infinite trees Lorenzo Clemente Michał Skrzypczak Wed 05 May 2021
- From automata to cyclic proofs: equivalence algorithms and descriptive complexity Laureline Pinault Tue 04 May 2021
- Universal Horn Sentences and the Joint Embedding Property Manuel Bodirsky Jakub Rydval André Schrottenloher Sun 02 May 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
