1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…