Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives

Lening Li, Zhentian Qian, Jianan Xia +7

We study formal policy synthesis for continuous-state stochastic systems under linear temporal logic specifications. The product of the system with the automaton of the specificati…