A Aralex Aachen research explorer

May 25, 2021 conference-paper

Formal Multi-Objective Synthesis of Continuous-State MDPs

Proceedings of the ... American Control Conference/Proceedings of the American Control Conference

DOI: 10.23919/acc50511.2021.9482873 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 8

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

1

citations

1 result

References 0