Presenter Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaLukas SekaninaBrno University of TechnologyPresentationsTutorialApproximate Synthesis: State-of-the-art and Future DirectionsPresented In-Person
