Verification of multiplayer stochastic games via abstract dependency graphs

From MaRDI portal
Publication:2119119

DOI10.1007/978-3-030-68446-4_13OpenAlexW3131199573MaRDI QIDQ2119119

Søren Enevoldsen, Anders Mariegaard, Mathias Claus Jensen, Jiří Srba, Kim Guldstrand Larsen

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_13





Uses Software


Cites Work