Product MDP

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

Data and Resources

Cite this as

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

DOI retrieved: January 3, 2025

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