- Regret and Partial Observability in Quantitative Games Guillermo A. Pérez Mon 26 December 2016
- Automata Theory and Higher-order Model-checking Igor Walukiewicz Thu 22 December 2016
- Reducing Nondeterministic Tree Automata by Adding Transitions Ricardo Manuel de Oliveira Almeida Tue 20 December 2016
- On the existence of weak subgame perfect equilibria Véronique Bruyère Stéphane Le Roux Arno Pauly Jean-François Raskin Sat 10 December 2016
- An elementary theory of the category of sets (long version) with commentary F. William Lawvere Thu 08 December 2016
- MEMICS 2016 Workshop N/A Mon 28 November 2016
- Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence Petr Jancar Mon 28 November 2016
- On-the-Fly Verification of Linear Temporal Logic Jean-Michel Couvreur Mon 21 November 2016
- Markov Chains and Unambiguous Buchi Automata Christel Baier Stefan Kiefer Joachim Klein Sascha Kluppelholz David Muller James Worrell Mon 21 November 2016
- Equivalence and Inclusion Problem for Strongly Unambiguous Buchi Automata Nicolas Bousquet Christof Løding Mon 21 November 2016
- Complementing deterministic Buchi automata in polynomial time R.P. Kurshan Mon 21 November 2016
- Compatibility Properties of Synchronously and Asynchronously Communicating Components Rolf Hennicker Michel Bidoit Sat 19 November 2016
- Is There a Best BuChi Automaton for Explicit Model Checking František Blahoudek Alexandre Duret-Lutz Mojmír Křetínský Jan Strejček Thu 17 November 2016
- Optimizing Buchi Automata Kousha Etessami Gerard J. Holzmann Thu 17 November 2016
- Applicability of fair simulation Doron Bustan Orna Grumberg Thu 17 November 2016
- Simulation-based Minimization Doron Bustan Orna Grumberg Thu 17 November 2016
- Checking for Language Inclusion Using Simulation Preorders David L. Dill Alan J. Hu Howard Wong-Toi Thu 17 November 2016
- The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space A. R. Meyer L. J. Stockmeyer Wed 16 November 2016
- MONA 1.x: New techniques for WS1S and WS2S Jacob Elgaard Nils Klarlund Anders Møller Mon 14 November 2016
- Compositional Approach to Suspension and Other Improvements to LTL Translation Tomás Babiak Thomas Badie Alexandre Duret-Lutz Mojmír Kretínský Jan Strejcek Fri 11 November 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
