- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Qiyi Tang Franck van Breugel Wed 10 March 2021
- Subgame-perfect Equilibria in Mean-payoff Games Léonard Brice Jean-François Raskin Marie Van Den Bogaard Wed 10 March 2021
- Initial-state detectability and initial-state opacity of unambiguous weighted automata Aiwen Lai Sébastien Lahaye Zhiwu Li Wed 10 March 2021
- Arena-Independent Finite-Memory Determinacy in Stochastic Games Patricia Bouyer Youssouf Oualhadj Mickael Randour Pierre Vandenhove Wed 10 March 2021
- Training Neural Networks is ER-complete Mikkel Abrahamsen Linda Kleist Tillmann Miltzow Wed 10 March 2021
- Supermartingales, Ranking Functions and Probabilistic Lambda Calculus Andrew Kenyon-Roberts Luke Ong Wed 10 March 2021
- Simplest Non-Regular Deterministic Context-Free Language Petr Jancar Jiri Sima Wed 10 March 2021
- Les claviers, un modole de calcul Yoan Geran Bastien Laboureix Corto Mascle Valentin D. Richard Wed 10 March 2021
- Supervisory Control Synthesis of Timed Automata Using Forcible Events Aida Rashidinejad Michel Reniers Martin Fabian Wed 10 March 2021
- Stackelberg-Pareto Synthesis (Full Version) Véronique Bruyère Jean-François Raskin Clément Tamines Wed 10 March 2021
- When are emptiness and containment decidable for probabilistic automata Laure Daviaud Marcin Jurdziński Ranko Lazić Filip Mazowiecki Guillermo A. Pérez James Worrell Wed 10 March 2021
- Decision problems for linear recurrences involving arbitrary real numbers Eike Neumann Wed 10 March 2021
- The algebra of binary trees is affine complete Andre Arnold Patrick Cegielski Serge Grigorieff Irene Guessarian Wed 10 March 2021
- Reduction Free Normalisation for a proof irrelevant type of propositions Thierry Coquand Wed 10 March 2021
- Logical foundations: Personal perspective Yuri Gurevich Wed 10 March 2021
- Equivalence Checking and Intersection of Deterministic Timed Finite State Machines Davide Bresolin Khaled El-Fakih Tiziano Villa Nina Yevtushenko Wed 10 March 2021
- On the determinization of event-clock input-driven pushdown automata Mizuhito Ogawa Alexander Okhotin Wed 10 March 2021
- Lower Bounds for Graph-Walking Automata Olga Martynova Alexander Okhotin Wed 10 March 2021
- Rice-Like Theorems for Automata Networks Guilhem Gamard Pierre Guillon Kevin Perrot Guillaume Theyssier Wed 10 March 2021
- Church Synthesis on Register Automata over Linearly Ordered Data Domains Léo Exibard Emmanuel Filiot Ayrat Khalimov Wed 10 March 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
