Incremental Data-Driven Policy Synthesis via Game Abstractions

Irmak Sağlam, Mahdi Nazeri, Alessandro Abate +2

We address the synthesis of control policies for unknown discrete-time stochastic dynamical systems to satisfy temporal logic objectives. We present a data-driven, abstraction-base…