Poster · Paris
NeuroSynTheos: Learning to accelerate counterexample-guided reactive synthesis modulo theories
- When
- Fri 11 Dec 2026, 14:30–16:30 CET
- Where
- Paris Poster Hall
- Session
- Paris Poster Session 6
- Authors
- Andoni Rodríguez, Cesar Sanchez
- Organisations
- IMDEA Software Institute