ISOGA: A System for Geographical Reachability Analysis.

Markus Innerebner Michael H. Böhlen Johann Gamper

Published in: W2GIS (2013)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
temporal logic
artificial intelligence
search space