Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives

Maxence Dutreix, Jeongmin Huh, Samuel Coogan

This paper studies the synthesis of controllers for discrete-time, continuous state stochastic systems subject to omega-regular specifications using finite-state abstractions. We p…