Backward Symbolic Optimal Reachability in Weighted Timed Automata.

Rémi Parrot Didier Lime

Published in: FORMATS (2020)

Keyphrases

timed automata
model checking
optimal solution
data sets
first order logic
state space
bi directional
machine learning
high level
association rules
dynamic programming
database
worst case
random variables
artificial intelligence
heuristic search
information retrieval
closed form
transitive closure
real time