conftrace_

safety controller

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

monotone system (1) stochastic control system (1) motion preferences (1) task plan (1) zero-shot integration (1) large language model (1) symbolic control (1) alternating bisimulation (1) set-valued map (1) control synthesis (1)

Papers

Universal Safety Controllers with Learned Prophecies AAAI 2026 Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction CoRL 2024 Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates L4DC 2022 Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning L4DC 2022 Data-Driven Abstraction of Monotone Systems L4DC 2021