You're currently viewing an old version of this dataset. To see the current version, click here.

Product MDP

The dataset used in this paper is a product MDP constructed from an LTL formula and an LDBA.

Data and Resources

This dataset has no data

Cite this as

Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic (2025). Dataset: Product MDP. https://doi.org/10.57702/gwpomr6d

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field Value
Created January 3, 2025
Last update January 3, 2025
Defined In https://doi.org/10.48550/arXiv.1909.07299
Author Alper Kamil Bozkurt
More Authors
Yu Wang
Michael M. Zavlanos
Miroslav Pajic