Omega-regular Verification and Control for Distributional Specifications in MDPs

S. Akshay, Ouldouz Neysari, Đorđe Žikelić

A classical approach to studying Markov decision processes (MDPs) is to view them as state transformers. However, MDPs can also be viewed as distribution transformers, where an MDP…