Sign in

Shield Synthesis: - Runtime Enforcement for Reactive Systems.

Roderick BloemBettina KönighoferRobert KönighoferChao 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