Symmetry-Based Task Reduction for Relaxed Reachability Analysis.

Gabriele Röger Silvan Sievers Michael Katz

Published in: ICAPS (2018)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
state space
incremental algorithms
optimal solution
temporal logic
reduction method
machine learning
fixed point