AI RESEARCH
SemML 2.0: Synthesizing Controllers for LTL
arXiv CS.AI
•
ArXi:2604.24102v1 Announce Type: new Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. These systems are typically represented using either Mealy machines or AIGER circuits. We present the second version of SemML, which outperforms all state-of-the-art tools for finding either solution.