A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems
Abstract elided by the publisher.
Related papers
- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation CAV 2021
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- CESAR: Control Envelope Synthesis via Angelic Refinements TACAS 2024
- Verification-guided Programmatic Controller Synthesis TACAS 2023
- Adaptive Shielding via Parametric Safety Proofs OOPSLA 2025
- Controlling dynamic module composition through an extensible meta-level API DLS 2010
- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts TACAS 2021