Login / Signup
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
Gregor Behnke
Daniel Höller
Susanne Biundo
Published in:
ICAPS (2015)
Keyphrases
</>
plan recognition
plan library
plan generation
recognition process
handling uncertainty
decision theoretic
plan execution
plan repair
model checking
decision problems
artificial intelligence
smart home
context aware
orders of magnitude
action models