Shield Synthesis: - Runtime Enforcement for Reactive Systems

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

Research output: Chapter in Book/Report/Conference proceedingConference paper

Filter
Finished

Search results