- Eager Markov Chains Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr Sven Sandberg Wed 11 June 2014
- Synthesis in Multi-Criteria Quantitative Games Mickael Randour Wed 11 June 2014
- Trading Infinite Memory for Uniform Randomness in Timed Games Krishnendu Chatterjee Thomas A. Henzinger Vinayak Prabhu Wed 11 June 2014
- Trading memory for randomness K. Chatterjee L. de Alfaro T. A. Henzinger Wed 11 June 2014
- Limiting Behavior of Markov Chains with Eager Attractors Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr Sven Sandberg Tue 10 June 2014
- NP-Hardness of Checking the Unichain Condition in Average Cost MDPs John N. Tsitsiklis Tue 10 June 2014
- How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems L. de Alfaro Sun 08 June 2014
- Perfect-Information Games with Lower-Semicontinuous Payoffs János Flesch Jeroen Kuipers Ayala Mashiah-Yaakovi Gijs Schoenmakers Eilon Solan Koos Vrieze Fri 06 June 2014
- Existence of Secure Equilibrium in Multi-Player Games with Perfect Information Julie De Pril János Flesch Jeroen Kuipers Gijs Schoenmakers Koos Vrieze Fri 06 June 2014
- Subgame-perfect equilibria of finite- and infinite-horizon games Drew Fudenberg David Levine Fri 06 June 2014
- Games with Secure Equilibria Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdziński Fri 06 June 2014
- Pure Stationary Optimal Strategies in Markov Decision Processes Hugo Gimbert Wed 04 June 2014
- Abbreviations of Names of Serials N/A Fri 30 May 2014
- Reachability on Prefix-recognizable Graphs Stefan Gøller Thu 29 May 2014
- A Temporal Fixpoint Calculus M. Y. Vardi Wed 28 May 2014
- Analysis of Probabilistic Basic Parallel Processes Rémi Bonnet Stefan Kiefer Anthony Widjaja Lin Mon 26 May 2014
- On the Alternation-free Horn Mu-calculus Jean-Marc Talbot Fri 16 May 2014
- Exponential Determinization for ømegaAutomata with a Strong Fairness Acceptance Condition S. Safra Fri 16 May 2014
- Francqui Chair 2012-2013: Logic and Automata: Fundamentals and Perspectives Wolfgang Thomas Wed 14 May 2014
- Controlled Term Rewriting Florent Jacquemard Yoshiharu Kojima Masahiko Sakai Tue 13 May 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
