conftrace_

state-space formulation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reactive planning (1) behavior tree (1) robot planning (1) robot behavior (1) formal verification (1) automated planning (1) motion planning (1)

Papers

BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees AAAI 2021