Omega-Regular Verification and Control for Distributional Specifications in MDPs. - S. Akshay 001; Ouldouz Neysari; Djorde Zikelic (CONCUR, 2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs. - S. Akshay 001; Ouldouz Neysari; Dorde Zikelic (CoRR, 2025)