A temporal reachability analysis.

Leo Cacciari Omar Rafiq

Published in: PSTV (1995)

Keyphrases

reachability analysis
model checking
markov decision processes
incremental algorithms
temporal constraints
spatio temporal
timed automata
temporal patterns
temporal information
temporal databases
temporal dimension
decision making
space time