control-synthesis

This paper introduces a novel automata-based approach for control synthesis from signal temporal logic specifications using reinforcement learning, improving robustness scores and satisfaction rates over existing methods.