conftrace_

robot behavior

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

human-robot interaction (3) robot planning (2) temporal logic (2) formal verification (2) state space model (1) dynamical system (1) sequence-to-sequence learning (1) domain-specific language (1) correctness verification (1) probabilistic analysis (1)

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 NeurIPS 2008