controller synthesis

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems L4DC 2026 Leveling the Playing Field: Carefully Comparing Classical and Learned Controllers for Quadrotor Trajectory Tracking RSS 2025 Multiple Mean-Payoff Optimization Under Local Stability Constraints AAAI 2025 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 Assume-Guarantee Reinforcement Learning AAAI 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty AAAI 2023 STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023 Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems AAAI 2022 Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 Data-Driven Abstraction of Monotone Systems L4DC 2021 Data-Driven Controller Design via Finite-Horizon Dissipativity L4DC 2021 Entropy-Guided Control Improvisation RSS 2021 Learning Stabilizing Controllers for Unstable Linear Quadratic Regulators from a Single Trajectory L4DC 2021 Neural Lyapunov Redesign L4DC 2021 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 PAC-Bayes Control: Synthesizing Controllers that Provably Generalize to Novel Environments CoRL 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 Process Plan Controllers for Non-Deterministic Manufacturing Systems IJCAI 2017 Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014 Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints RSS 2014 Controlling Wild Bodies Using Linear Temporal Logic RSS 2011