Symbolic algorithms for graphs and Markov decision processes with fairness objectives

DOI10.1007/978-3-319-96142-2_13zbMath1511.68150arXiv1804.00206OpenAlexW2963141263MaRDI QIDQ6039402

Viktor Toman, Simin Oraee, Krishnendu Chatterjee, Monika R. Henzinger, Veronika Loitzenbauer

Publication date: 5 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.00206

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Nonnumerical algorithms (68W05) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Fine-grained complexity lower bounds for problems in computer aided verification ⋮ Generic Emptiness Check for Fun and Profit

This page was built for publication: Symbolic algorithms for graphs and Markov decision processes with fairness objectives