Enforcement of (Timed) Properties with Uncontrollable Events

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

12 Citations (Scopus)
Original languageEnglish
Title of host publicationTheoretical Aspects of Computing ICTAC 2015, Cali, October 2015
EditorsMartin Leucker, Camilo Rueda, FrankD. Valencia
PublisherSpringer International Publishing
Pages542-560
ISBN (Print)978-3-319-25149-3
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Keywords

  • automata
  • enforcement
  • monitor synthesis

Cite this