Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.

Rayna Dimitrova Rupak Majumdar

Published in: GandALF (2015)

Keyphrases

series parallel
reachability analysis
timed automata
model checking
markov decision processes
temporal reasoning
incremental algorithms
theorem prover
precedence constraints
state space
network design
special case
artificial intelligence
branch and bound
first order logic
upper bound
redundancy allocation