Decidability results for multi-objective stochastic games

DOI10.1007/978-3-319-46520-3_15zbMath1398.91056arXiv1605.03811OpenAlexW2388209185MaRDI QIDQ1990509

Romain Brenguier, Vojtěch Forejt

Publication date: 25 October 2018

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

Mathematics Subject Classification ID

2-person games (91A05) Stochastic games, stochastic differential games (91A15) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Decidability results for multi-objective stochastic games