- Limit Synchronization in Markov Decision Processes Laurent Doyen Thierry Massart Mahsa Shirmohammadi Thu 19 December 2013
- The Complexity of Partial-observation Stochastic Parity Games With Finite-memory Strategies Krishnendu Chatterjee Laurent Doyen Sumit Nain Moshe Y. Vardi Thu 19 December 2013
- On formal properties of simple phrase structure grammars Yehoshua Bar-Hillel Micha A. Perles Eli Shamir Wed 18 December 2013
- On certain formal properties of grammars Noam Chomsky Wed 18 December 2013
- Jeux positionnels Hugo Gimbert Wed 18 December 2013
- Deciding the Value 1 Problem for acyclic Partially Observable Markov Decision Processes Hugo Gimbert Youssouf Oualhadj Wed 18 December 2013
- An initial semantics for the mu-calculus on trees and Rabin's complementation lemma André Arnold Wed 18 December 2013
- Liminf Progress Measures Nils Klarlund Wed 18 December 2013
- Progress measures, immediate determinacy, and a subset construction for tree automata Nils Klarlund Wed 18 December 2013
- The Complexity of Tree Automata and Logics of Programs E. Allen Emerson Charanjit S. Jutla Wed 18 December 2013
- Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability Thomas Wilke Tue 17 December 2013
- Simple strategies for Banach-Mazur games and fairly correct systems Thomas Brihaye Quentin Menet Tue 17 December 2013
- Multiplayer Cost Games with Simple Nash Equilibria Thomas Brihaye Julie De Pril Sven Schewe Tue 17 December 2013
- On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games Thomas Brihaye Véronique Bruyère Julie De Pril Hugo Gimbert Tue 17 December 2013
- A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games Henrik Bjørklund Sergei Vorobyov Tue 17 December 2013
- Memoryless determinacy of parity and mean payoff games: a simple proof Henrik Bjørklund Sven Sandberg Sergei Vorobyov Tue 17 December 2013
- Determinacy in Stochastic Games with Unbounded Payoff Functions Tomáš Brázdil Antonín Kučera Petr Novotný Mon 16 December 2013
- Perfect-Information Stochastic Parity Games Wiesław Zielonka Mon 16 December 2013
- Perfect Information Stochastic Priority Games Hugo Gimbert Wiesław Zielonka Mon 16 December 2013
- Branching-time model-checking of probabilistic pushdown automata Tomáš Brázdil Václav Brożek Vojtěch Forejt Antonín Kučera Mon 16 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
