Conditional Reactive Systems.

H. J. Sander Bruggink Raphaël Cauderlier Mathias Hülsbusch Barbara König

Published in: FSTTCS (2011)

Keyphrases

reactive systems
temporal logic
model checking
formal methods
information flow
petri net
control flow
random field model
state machines
real time systems
databases
artificial intelligence