SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop +1

Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. We prese…