Login / Signup

Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies.

Michele ColledanchiseGiuseppe CicalaDaniele E. DomenichelliLorenzo NataleArmando Tacchella
Published in: IROS (2021)
Keyphrases
  • neural network
  • contextual information
  • context sensitive
  • decision trees
  • context aware
  • face verification
  • database
  • model checking
  • software agents
  • user model
  • execution model
  • reactive planning