NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.

Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt

Browse the full TACAS paper archive.