Distributional certificates provide the first automated method for verifying and synthesizing strategies against distributional omega-regular specifications in MDPs.
Akshay, Timos Antonopoulos, Jo \" e l Ouaknine, and James Worrell
1 Pith paper cite this work, alongside 49 external citations. Polarity classification is still indexing.
1
Pith paper citing it
49
external citations · OpenAlex
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Omega-regular Verification and Control for Distributional Specifications in MDPs
Distributional certificates provide the first automated method for verifying and synthesizing strategies against distributional omega-regular specifications in MDPs.