Dataset Groups Activity Stream Product MDP The dataset used in this paper is a product MDP constructed from an LTL formula and an LDBA. BibTex: @dataset{Alper_Kamil_Bozkurt_and_Yu_Wang_and_Michael_M_Zavlanos_and_Miroslav_Pajic_2025, abstract = {The dataset used in this paper is a product MDP constructed from an LTL formula and an LDBA.}, author = {Alper Kamil Bozkurt and Yu Wang and Michael M. Zavlanos and Miroslav Pajic}, doi = {10.57702/gwpomr6d}, institution = {No Organization}, keyword = {'Control Synthesis', 'LDBA', 'LTL', 'Motion Planning', 'Product MDP'}, month = {jan}, publisher = {TIB}, title = {Product MDP}, url = {https://service.tib.eu/ldmservice/dataset/product-mdp}, year = {2025} }
