Shield Synthesis: - Runtime Enforcement for Reactive Systems

Roderick Paul Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Suchergebnisse