Login / Signup
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
Dingbao Xie
Lei Bu
Jianhua Zhao
Xuandong Li
Published in:
Formal Methods Syst. Des. (2014)
Keyphrases
</>
reachability analysis
hybrid automata
model checking
markov decision processes
linear programming
linear program
finite state automata
search algorithm
state space
shortest path
timed automata
knowledge representation
satisfiability problem
incremental algorithms
sat encodings