conftrace_

safety specification

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

shield synthesis (1) adversarial planning (1) counter-example guided (1) factored representation (1) uav path planning (1) risk evaluation (1) ai guardrail (1) continuous-space shield (1) realizability verification (1) non-markovian safety (1)

Papers

Can a Bayesian Oracle Prevent Harm from an Agent? UAI 2025 Realizable Continuous-Space Shields for Safe Reinforcement Learning L4DC 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Counterexample Guided RL Policy Refinement Using Bayesian Optimization NeurIPS 2021 Safe Policies for Factored Partially Observable Stochastic Games RSS 2021