Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…