Omega-Regular Verification and Control for Distributional Specifications in MDPs.

S. Akshay, Ouldouz Neysari, Djorde Zikelic

Browse the full CONCUR paper archive.