14:00
15:00

Extending Reactive Synthesis to Infinite Data Domains through Machines with Registers

LaBRI Salle 178