Reactive Synthesis Modulo Theories using Abstraction Refinement

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Zeitraum21 Okt. 2022
Ereignistitel22nd Formal Methods in Computer-Aided Design: FMCAD 2022
VeranstaltungstypKonferenz
OrtTrento, ItalienAuf Karte anzeigen

Verbundene Inhalte