Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
