Sign in
Shield Synthesis: - Runtime Enforcement for Reactive Systems.
Roderick Bloem
Bettina Könighofer
Robert Könighofer
Chao Wang
Published in:
TACAS (2015)
Keyphrases
</>
reactive systems
model checking
temporal logic
information flow
formal methods
petri net
control flow
program synthesis
real time systems
state machines
databases
real world
artificial intelligence