1 citations · 1 across the 1 of their papers we have counts for
1 paper
Matthias Cosler, Christopher Hahn, Ayham Omar +1
We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches…