Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.

HoonSang Jin Andreas Kuehlmann Fabio Somenzi

Published in: TACAS (2002)

Keyphrases

fine grain
reachability analysis
coarse grain
markov decision processes
model checking
incremental algorithms
parallel computation
scheduling problem
timed automata
state space
scheduling algorithm
distributed memory
parallel machines
temporal constraints
database
low cost
dynamic programming
real time