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 contributionResearchpeer-review

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages533-548
Volume9035
ISBN (Print)978-3-662-46680-3
DOIs
Publication statusPublished - 2015
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 13 Apr 201517 Apr 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
CountryUnited Kingdom
CityLondon
Period13/04/1517/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Könighofer, B., Könighofer, R., & Wang, C. (2015). Shield Synthesis: - Runtime Enforcement for Reactive Systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference (Vol. 9035, pp. 533-548). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-662-46681-0_51