Time-Dependent Reachability Analysis: A Data-Driven Approach.

Chrysovalantis Anastasiou Chao Huang Seon Ho Kim Cyrus Shahabi

Published in: MDM (2019)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
data driven
incremental algorithms
travel time
state space
temporal logic
machine learning
artificial intelligence
decision making
natural language
probability distribution