- Revisiting Synthesis for One-Counter Automata Guillermo A. Pérez Ritam Raha Wed 06 May 2020
- Regular Model Checking Revisited (Technical Report) Anthony W. Lin Philipp Rummer Wed 06 May 2020
- Automata Tutor v3 Loris D'Antoni Martin Helfrich Jan Emanuel Kretinsky Ramneantu Maximilian Weininger Wed 06 May 2020
- Register transducers are marble transducers Gaetan Douéneau-Tabot Emmanuel Filiot Paul Gastin Wed 06 May 2020
- An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata Salomon Sickert Javier Esparza Tue 05 May 2020
- Using Circular Programs for Higher-Order Syntax: Functional Pearl Emil Axelsson Koen Claessen Mon 04 May 2020
- KReach: A Tool for Reachability in Petri Nets Alex Dixon Ranko Lazić Mon 04 May 2020
- Adequacy and Complete Axiomatization for Timed Modal Logic Samy Jaziri Kim G. Larsen Radu Mardare Bingtian Xue Mon 04 May 2020
- Register Games on Infinite Ordered Data Domains Léo Exibard Emmanuel Filiot Ayrat Khalimov Sat 02 May 2020
- On the Expressiveness of Parikh Automata and Related Models Michael Cadilhac Alain Finkel Pierre McKenzie Fri 01 May 2020
- Timed Basic Parallel Processes Lorenzo Clemente Piotr Hofman Patrick Totzke Fri 01 May 2020
- Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Thu 30 April 2020
- On the categoricity in power łeq aleph0 Czesław Ryll-Nardzewski Wed 29 April 2020
- aleph0-Categoricity in First-Order Predicate Calculus Lars Svenonius Wed 29 April 2020
- A characterization of theories with isomorphic denumerable models Erwin Engeler Wed 29 April 2020
- A decidable aleph0-categorical theory with a non-recursive Ryll-Nardzewski function James Schmerl Wed 29 April 2020
- Computing and Dominating the Ryll-Nardzewski Function U. Andrews A. M. Kach Tue 28 April 2020
- Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier Tue 28 April 2020
- Timed games and deterministic separability Lorenzo Clemente Sławomir Lasota Radosław Piórkowski Tue 28 April 2020
- Invariants for Continuous Linear Dynamical Systems Shaull Almagor Edon Kelmendi Joel Ouaknine James Worrell Mon 27 April 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
