Abstraction-Refinement for Hierarchical Probabilistic Models
Authors: Sebastian Junges and Matthijs T. J. Spaan
Paper Information
| Title: | Abstraction-Refinement for Hierarchical Probabilistic Models |
| Authors: | Sebastian Junges and Matthijs T. J. Spaan |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Markov Decision Processes, Probabilistic Model Checking, Hierarchical Models, Abstraction-Refinement, Probabilistic Programs |
| Pages: | 21 |
| Talk: | Aug 07 10:00 (Session 85A: Formal Methods for Probabilistic Programs) |
| Paper: |  |