- Tag Systems and Collatz-like Functions Liesbeth De Mol Mon 23 June 2014
- The Structure of Length Markus Alexander Pøchtrager Mon 23 June 2014
- Antichains and Compositional Algorithms for LTL Synthesis Emmanuel Filiot Naiyong Jin Jean-François Raskin Sun 22 June 2014
- Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes Aaron Bohy Véronique Bruyère Jean-François Raskin Sun 22 June 2014
- Antichain based algorithms for the synthesis of reactive systems Aaron Bohy Sun 22 June 2014
- Unforgettable Forgetful Determinacy Suzanne Zeitman Sat 21 June 2014
- Memory Reduction for Strategies in Infinite Games Michael Holtmann Sat 21 June 2014
- Memory Reduction for Strategies in Infinite Games Michael Holtmann Christof Løding Sat 21 June 2014
- Memory Reduction via Delayed Simulation Marcus Gelderie Michael Holtmann Sat 21 June 2014
- A Note on the Complexity of Comparing Succinctly Represented Integers, with an Application to Maximum Probability Parsing Kousha Etessami Alistair Stewart Mihalis Yannakakis Sat 21 June 2014
- Recursive Markov Decision Processes and Recursive Stochastic Games Kousha Etessami Mihalis Yannakakis Wed 18 June 2014
- Strategy Machines and Their Complexity Marcus Gelderie Wed 18 June 2014
- On the synthesis of strategies in infinite games Wolfgang Thomas Wed 18 June 2014
- Expectations or Guarantees I Want It All A crossroad between games and MDPs Véronique Bruyère Emmanuel Filiot Mickael Randour Jean-François Raskin Wed 18 June 2014
- Computing rational solutions of linear matrix inequalities Qingdong Guo Mohab Safey El Din Lihong Zhi Wed 18 June 2014
- Reachability in Higher-Order-Counters Alexander Heußner Alexander Kartzow Tue 17 June 2014
- Queue-Dispatch Asynchronous Systems G. Geeraerts A. Heussner J.-F. Raskin Tue 17 June 2014
- Multiple-Environment Markov Decision Processes Jean-François Raskin Ocan Sankur Fri 13 June 2014
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples Joerg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop Vincent van Oostrom Thu 12 June 2014
- On simple representations of stopping times and stopping time sigma-algebras Tom Fischer Thu 12 June 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
