- Bideterministic automata and minimal representations of regular languages Hellis Tamm Esko Ukkonen Wed 04 March 2015
- Partially Ordered Sets with Transitive Automorphism Groups Manfred Droste Wed 04 March 2015
- Finitely Constrained Classes of Homogeneous Directed Graphs Brenda J. Latka Wed 04 March 2015
- Automata and Logics for Words and Trees over an Infinite Alphabet Luc Segoufin Tue 03 March 2015
- The Essence of Region Abstraction for Timed Pushdown Automata Yuya Uezato Yasuhiko Minamide Mon 02 March 2015
- The Abstract Theory of Automata V M Glushkov Thu 26 February 2015
- Regular Expressions and State Graphs for Automata R. McNaughton H. Yamada Thu 26 February 2015
- A Unified Construction of the Glushkov, Follow, and Antimirov Automata Cyril Allauzen Mehryar Mohri Thu 26 February 2015
- On Bifix Systems and Generalizations Jan-Henrik Altenbernd Thu 26 February 2015
- Rational Synthesis Dana Fisman Orna Kupferman Yoad Lustig Wed 25 February 2015
- Computing by commuting Juhani Karhumaki Michal Kunc Alexander Okhotin Wed 25 February 2015
- Qualitative Concurrent Parity Games Krishnendu Chatterjee Mon 23 February 2015
- The MSO+U theory of (N, <) is undecidable Mikołaj Bojańczyk Paweł Parys Szymon Toruńczyk Fri 20 February 2015
- Rewriting Higher-Order Stack Trees Vincent Penelle Fri 20 February 2015
- Nash Equilibria in Concurrent Games--Application to Timed Games Romain Brenguier Tue 17 February 2015
- A comparison of polynomial time reducibilities R.E. Ladner N.A. Lynch A.L. Selman Mon 16 February 2015
- Multi-objective Discounted Reward Verification in Graphs and MDPs Krishnendu Chatterjee Vojtěch Forejt Dominik Wojtczak Wed 04 February 2015
- Optimal policy for minimizing risk models in Markov decision processes Y. Ohtsubo K. Toyonaga Wed 04 February 2015
- Percentile Optimization for Markov Decision Processes with Parameter Uncertainty Erick Delage Shie Mannor Wed 04 February 2015
- Percentile performance criteria for limiting average Markov decision processes J.A. Filar D. Krass K.W. Ross Wed 04 February 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
