CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations

Gao Y, Johansson KH, Abate A
14 May 2024
Conference paper
Association for Computing Machinery (ACM)
,
pp.
1 - 12
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

,

4602 Artificial Intelligence

DOI
10.1145/3641513.3651397