Reachability Analysis Using Extremal Rates.

Andrew N. Fisher Chris J. Myers Peng Li

Published in: NFM (2015)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
graph theory
incremental algorithms
state space
temporal logic
search algorithm
knowledge base
bayesian networks
low cost
maximally stable