- A survey of computational complexity results in systems and control Vincent D. Blondel John N. Tsitsiklis Thu 18 March 2021
- A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs Mahmoud Salamati Sadegh Soudjani Rupak Majumdar Fri 04 September 2020
- Mixing Probabilistic and Non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Sat 04 July 2020
- Recursive Markov Decision Processes and Recursive Stochastic Games Kousha Etessami Mihalis Yannakakis Tue 02 October 2018
- Methods and Applications of (max,+) Linear Algebra Stéphane Gaubert Sat 14 July 2018
- Trading Performance for Stability in Markov Decision Processes Tomas Brazdil Krishnendu Chatterjee Vojtech Forejt Antonin Kucera Wed 11 March 2015
- Dynamic risk management with Markov decision processes André Philipp Mundt Tue 15 July 2014
- NP-Hardness of Checking the Unichain Condition in Average Cost MDPs John N. Tsitsiklis Tue 10 June 2014
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tomas Brazdil Vaclav Brozek Krishnendu Chatterjee Vojtech Forejt Antonin Kucera Mon 14 April 2014
- Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions Hugo Gimbert Youssouf Oualhadj Soumya Paul Fri 24 January 2014
- Fast Convergence to State-action Frequency Polytopes for MDPs Mathieu Tracol Tue 21 January 2014
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Véronique Bruyère Emmanuel Filiot Mickael Randour Jean-François Raskin Fri 13 December 2013
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
