Compositional Failure Detection in Structured Transition Systems.

Ingo Felscher Wolfgang Thomas

Published in: CIAA (2011)

Keyphrases

failure detection
transition systems
model checking
concurrent systems
temporal logic
finite state
fault detection
practical reasoning
control flow
model checker
reinforcement learning
linear programming
formal specification
reactive systems
fully observable