Reactive Synthesis Modulo Theories using Abstraction Refinement

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Period21 Oct 2022
Event title22nd Formal Methods in Computer-Aided Design: FMCAD 2022
Event typeConference
LocationTrento, ItalyShow on map

Related content