conftrace_

robot controller

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-modal predicate identification (1) mixed observability (1) controller synthesis (1) formal synthesis (1) correct-by-construction design (1) runtime monitoring (1) environment assumption (1) recovery behavior (1) morphology-agnostic learning (1) momdp planning (1)

Papers

GCNT: Graph-Based Transformer Policies for Morphology-Agnostic Reinforcement Learning IJCAI 2025 RoCUS: Robot Controller Understanding via Sampling CoRL 2021 Multi-modal Predicate Identification using Dynamically Learned Robot Controllers IJCAI 2018 Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014