1 code implementation • 22 Jan 2024 • Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem.
