conftrace_

control synthesis

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

controller synthesis (3) temporal logic (3) probabilistic stability (1) probably approximately correct (1) reactive control (1) partially observed system (1) control system (1) safety controller (1) control improvisation (1) causal entropy (1)

Papers

Universal Safety Controllers with Learned Prophecies AAAI 2026 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances L4DC 2025 ControlSynth Neural ODEs: Modeling Dynamical Systems with Guaranteed Convergence NeurIPS 2024 Real-time safe control of neural network dynamic models with sound approximation L4DC 2024 Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems AAAI 2022 Entropy-Guided Control Improvisation RSS 2021 Lyapunov-stable neural-network control RSS 2021 Probabilistic robust linear quadratic regulators with Gaussian processes L4DC 2021 Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints RSS 2014