- Determinacy and optimal strategies in infinite-state stochastic reachability games Václav Brożek Mon 16 December 2013
- The Complexity of Stochastic Rabin and Streett Games Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger Mon 16 December 2013
- Model Checking and Higher-Order Recursion Hardi Hungar Mon 16 December 2013
- LANGUAGES VERSUS ømega-LANGUAGES IN REGULAR INFINITE GAMES NAMIT CHATURVEDI JORG OLSCHEWSKI WOLFGANG THOMAS Mon 16 December 2013
- Degrees of Lookahead in Context-free Infinite Games Wladimir Fridman Christof Løding Martin Zimmermann Mon 16 December 2013
- Degrees of Lookahead in Regular Infinite Games Michael Holtmann Lukasz Kaiser Wolfgang Thomas Mon 16 December 2013
- Synthesis and Some of Its Challenges Wolfgang Thomas Mon 16 December 2013
- Infinite Games and Uniformization Wolfgang Thomas Mon 16 December 2013
- Observations on Determinization of Buchi Automata ChristophSchulte Althoff Wolfgang Thomas Nico Wallmeier Mon 16 December 2013
- Observations on determinization of Buchi automata Christoph Schulte Althoff Wolfgang Thomas Nico Wallmeier Mon 16 December 2013
- Control Flow Analysis in Scheme O. Shivers Sat 14 December 2013
- ANR FRec project description AAVV Sat 14 December 2013
- MIX is a 2-MCFL and the word problem in mathbbZ^2 is solved by a third-order collapsible pushdown automaton Sylvain Salvati Sat 14 December 2013
- Recursive Concurrent Stochastic Games Kousha Etessami Mihalis Yannakakis Sat 14 December 2013
- Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems Kousha Etessami Sat 14 December 2013
- Parity Games and Propositional Proofs Arnold Beckmann Pavel Pudlák Neil Thapen Sat 14 December 2013
- Simple Stochastic Parity Games Krishnendu Chatterjee Marcin Jurdziński ThomasA. Henzinger Sat 14 December 2013
- Revealing vs. Concealing: More Simulation Games for Buchi Inclusion Milka Hutagalung Martin Lange Etienne Lozes Sat 14 December 2013
- A Survey of Stochastic omega-regular Games Krishnendu Chatterjee Thomas A. Henzinger Fri 13 December 2013
- On the Expressiveness and Decidability of Higher-order Process Calculi Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt Fri 13 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
