Strategy synthesis for global window PCTL

DOI10.4230/LIPICS.ICALP.2022.115MaRDI QIDQ6560916zbMATH OpenFDO

Authors Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin

Publication date 24 June 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2022.115

zbMATH Keywords

Markov decision processesPCTLsynthesis

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Strategy synthesis for global window PCTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560916)