Master Thesis on Symbolic MTL Synthesis

Wednesday, Mar 6, 2024

Motivation Controller synthesis is the problem of determining a policy for a given system that ensures the resulting behavior satisfies a given specification, independent of the behavior of the environment. As an example, consider a robot that works in a coffee house.