Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation.

Maksim Jenihhin Jaan Raik Anton Chepurov Raimund Ubar

Published in: ETS (2008)

Keyphrases

high level
temporally extended
decision diagrams
qualitative simulation
decision theoretic planning
knowledge base
dynamical systems
markov decision processes
temporal logic
video sequences
search algorithm
efficient computation
qualitative reasoning
multi valued
temporal aspects