Reachability analysis of reversal-bounded automata on series-parallel graphs.

Rayna Dimitrova Rupak Majumdar

Published in: Acta Informatica (2018)

Keyphrases

series parallel
reachability analysis
timed automata
model checking
markov decision processes
temporal reasoning
theorem prover
incremental algorithms
tree decomposition
theorem proving
constraint networks
redundancy allocation
state space
precedence constraints
real time systems
machine learning
first order logic