A Aralex Aachen research explorer

June 26, 2023 conference-paper Open access

Planning with Hidden Parameter Polynomial MDPs

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v37i10.26411 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 7

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1

citations
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations

2 results

References 1

Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations

1 result