Sign in
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