Risk-Averse $\omega$-regular Markov Decision Process Control

Ruediger Ehlers, Salar Moarref, Ufuk Topcu

Many control problems in environments that can be modeled as Markov decision processes (MDPs) concern infinite-time horizon specifications. The classical aim in this context is to…