Login / Signup
Synthesizing Reactive Systems from Hyperproperties.
Bernd Finkbeiner
Christopher Hahn
Philip Lukert
Marvin Stenger
Leander Tentrup
Published in:
CoRR (2019)
Keyphrases
</>
reactive systems
temporal logic
model checking
information flow
petri net
formal methods
control flow
real time systems
state machines
high level
databases
decision making
low cost