Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction
Authors:
- Xinyi YuXYXinyi Yu
- Yiqi ZhaoYZYiqi Zhao
- Xiang YinXYXiang Yin
- Lars LindemannLLLars Lindemann
- 24 September 2025
- journal article
- Published by Elsevier in Automatica
- Vol. 183
Abstract
No abstract availableAll Related Versions
Funding Information
- National Natural Science Foundation of China (62173226)
- National Science Foundation (IIS-SLES-2417075)
This publication has 32 references indexed in Scilit:
- Sample-based bounds for coherent risk measures: Applications to policy synthesis and verificationArtificial Intelligence, 2024
- Robust Validation: Confident Predictions Even When Distributions ShiftJournal of the American Statistical Association, 2024
- CasADi: a software framework for nonlinear optimization and optimal controlMathematical Programming Computation, 2018
- Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal LogicJournal of Automated Reasoning, 2017
- On-Line Monitoring for Temporal Logic Robustness2014
- Robust Satisfaction of Temporal Logic over Real-Valued Signals2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Newton's law of cooling revisitedEuropean Journal of Physics, 2009
- Monitoring Temporal Properties of Continuous Signals2004
- Control of systems integrating logic, dynamics, and constraintsAutomatica, 1999