Picture for Ayham Omar

Ayham Omar

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

Add code
Jan 29, 2024
Viaarxiv icon