Specification-guided temporal logic control for stochastic systems: a multi-layered approach

Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani +1

Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolvin…