Comparing Forward and Backward Reachability as Tools for Safety Analysis.

Ian M. Mitchell

Published in: HSCC (2007)

Keyphrases

forward and backward
safety analysis
safety critical
nuclear power plant
symbolic model checking
fault model
artificial intelligence
control system
dynamic programming
reinforcement learning
state space
low cost
learning systems