conftrace_

parity objective

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic model checking (2) reachability objective (1) limit-sure winning (1) revealing pomdp (1) robust mdp (1) partially observable markov decision process (1) markov decision process (1)

Papers

Qualitative Analysis of ω-Regular Objectives on Robust MDPs AAAI 2026 Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives AAAI 2026