Login / Signup
Runtime enforcement of reactive systems using synchronous enforcers.
Srinivas Pinisetty
Partha S. Roop
Steven Smyth
Stavros Tripakis
Reinhard von Hanxleden
Published in:
CoRR (2016)
Keyphrases
</>
reactive systems
model checking
temporal logic
petri net
information flow
access control
control flow
formal methods
real time systems
machine learning
asynchronous communication
information systems