7th World Logic Day - DTU Compute Talks

Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

Beskrivelse

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Periode15 jan. 2025
BegivenhedstypeSymposium
PlaceringLyngby, DanmarkVis på kort
Grad af anerkendelseLokal