Runtime enforcement of timed properties using games

DOI10.1007/s00165-020-00515-2zbMath1458.68120OpenAlexW3045776271MaRDI QIDQ2198137

Antoine Rollet, Matthieu Renard, Yliès Falcone

Publication date: 9 September 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00515-2

zbMATH Keywords

timed automatagamesruntime verificationruntime enforcement

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Which security policies are enforceable by runtime monitors? A survey
• Runtime enforcement of timed properties revisited
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Algorithms for monitoring real-time properties
• Automata, logics, and infinite games. A guide to current research
• A brief account of runtime verification
• Enforceable Security Policies Revisited
• Optimal enforcement of (timed) properties with uncontrollable events
• Shield Synthesis:
• Characterization of temporal property classes
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Lectures on Concurrency and Petri Nets

This page was built for publication: Runtime enforcement of timed properties using games