conftrace_

robot behavior

8 papers

Explore in graph

Co-occurring keywords

human-robot interaction (218) robot planning (36) temporal logic (105) formal verification (284) mental model (19) visual demonstration (10) visual parsing (2) natural language grounding (17) sensor error (2) correctness guarantee (2)

Papers

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine AAAI 2025
BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees AAAI 2021
Toward robots that learn to summarize their actions in natural language: a set of tasks CORL 2021
Sequence-to-Sequence Language Grounding of Non-Markovian Task Specifications RSS 2018
Enabling Robots to Communicate Their Objectives RSS 2017
Modeling and Controlling Friendliness for An Interactive Museum Robot RSS 2014
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011
Using Bayesian Dynamical Systems for Motion Template Libraries NIPS 2008