Incorporating Monitors in Reactive Synthesis without Paying the Price
Paper i proceeding, 2021
Författare
Shaun Azzopardi
Chalmers, Data- och informationsteknik, Formella metoder
Göteborgs universitet
Nir Piterman
Chalmers, Data- och informationsteknik, Formella metoder
Göteborgs universitet
Gerardo Schneider
Data Science och AI
Göteborgs universitet
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12971 LNCS 337-3539783030888848 (ISBN)
Virtual, Gold Coast, Australia,
Ämneskategorier (SSIF 2025)
Datavetenskap (datalogi)
DOI
10.1007/978-3-030-88885-5_22