International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
Konferenz/Event-Datum
28.11.2022 - 02.12.2022
Konferenz/Event-Ort
Udine
Anderes
Autor/in (Veranstaltung)
Heik, David M.Sc., Wissenschaftlicher Mitarbeiter an der Hochschule für Technik und Wirtschaft Dresden, Fakultät Informatik/Mathematik