Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming.

Chien-Liang Chen Shao-Chi Chin Hsu-Chun Yen

Published in: Comput. J. (2010)

Keyphrases

integer linear programming
reachability analysis
model checking
markov decision processes
column generation
timed automata
global constraints
boolean satisfiability
symmetry breaking
incremental algorithms
state space
temporal logic
evolutionary algorithm
cutting plane
pseudo boolean