Conformalized Signal Temporal Logic Inference under Covariate Shift

• URL: http://arxiv.org/abs/2603.27062v1
• Date: Sat, 28 Mar 2026 00:38:01 GMT
• Title: Conformalized Signal Temporal Logic Inference under Covariate Shift
• Abstract summary: Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems.<n>The proposed framework preserves the interpretability of STL formulas while significantly improving symbolic learning reliability at deployment time.
• Score: 13.843989967082031
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems. To ensure the correctness of learned STL formulas, recent approaches have incorporated conformal prediction as a statistical tool for uncertainty quantification. However, most existing methods rely on the assumption that calibration and testing data are identically distributed and exchangeable, an assumption that is frequently violated in real-world settings. This paper proposes a conformalized STL inference framework that explicitly addresses covariate shift between training and deployment trajectories dataset. From a technical standpoint, the approach first employs a template-free, differentiable STL inference method to learn an initial model, and subsequently refines it using a limited deployment side dataset to promote distribution alignment. To provide validity guarantees under distribution shift, the framework estimates the likelihood ratio between training and deployment distributions and integrates it into an STL-robustness-based weighted conformal prediction scheme. Experimental results on trajectory datasets demonstrate that the proposed framework preserves the interpretability of STL formulas while significantly improving symbolic learning reliability at deployment time.

Related papers

• TRACE: Transport Alignment Conformal Prediction via Diffusion and Flow Matching Models [4.9352098965615]
  We study how to construct valid and informative regions for multi-dimensional outputs.<n>We measure how well a candidate output aligns with the learned generative dynamics by averaging denoising velocity or errors along transport trajectories.<n>The resulting transport-based scores are scalar-valued and can be calibrated using conformal prediction split.
  arXiv  Detail & Related papers  (2026-05-08T01:28:57Z)
• Adaptive Conformal Anomaly Detection with Time Series Foundation Models for Signal Monitoring [1.7149326108409726]
  We propose a post-hoc adaptive conformal anomaly detection method for monitoring time series.<n>Our method yields an interpretable anomaly score directly interpretable as a false alarm rate (p-value)<n>As a model-agnostic solution, it integrates seamlessly with foundation models and supports rapid deployment in resource-constrained environments.
  arXiv  Detail & Related papers  (2026-04-22T02:39:46Z)
• Transfer learning for scalar-on-function regression via control variates [4.435940475554593]
  Transfer learning (TL) has emerged as a powerful tool for improving estimation and prediction performance.<n>We propose a framework that relies exclusively on dataset-specific summary statistics.<n>We establish theoretical connections among several existing TL strategies and derive convergence rates for our CVS-based proposals.
  arXiv  Detail & Related papers  (2026-01-23T23:02:57Z)
• Uncover and Unlearn Nuisances: Agnostic Fully Test-Time Adaptation [46.46865123564661]
  Fully Test-Time Adaptation (FTTA) addresses domain shifts without access to source data and training protocols of the pre-trained models.<n>Traditional strategies that align source and target feature distributions are infeasible in FTTA due to the absence of training data and unpredictable target domains.<n>We propose Agnostic FTTA as a novel formulation that enables the usage of off-the-shelf domain transformations during test-time to enable direct generalization to unforeseeable target data.
  arXiv  Detail & Related papers  (2025-11-16T08:01:50Z)
• Conformal Prediction for Signal Temporal Logic Inference [13.843989967082031]
  Signal Temporal Logic (STL) inference seeks to extract human-interpretable rules from time-series data.<n>Existing methods lack formal confidence guarantees for the inferred rules.<n>We introduce an end-to-end differentiable CP framework for STL inference that enhances both reliability and interpretability.
  arXiv  Detail & Related papers  (2025-09-29T20:25:02Z)
• Adaptive Conformal Prediction Intervals Over Trajectory Ensembles [50.31074512684758]
  Future trajectories play an important role across domains such as autonomous driving, hurricane forecasting, and epidemic modeling.<n>We propose a unified framework based on conformal prediction that transforms sampled trajectories into calibrated prediction intervals with theoretical coverage guarantees.
  arXiv  Detail & Related papers  (2025-08-18T21:14:07Z)
• Latent Diffusion Model Based Denoising Receiver for 6G Semantic Communication: From Stochastic Differential Theory to Application [11.385703484113552]
  We propose a novel semantic communication framework empowered by generative artificial intelligence (GAI)<n>A latent diffusion model (LDM)-based semantic communication framework is proposed that combines a variational autoencoder for semantic features extraction.<n>The proposed system is a training-free framework that supports zero-shot generalization, and achieves superior performance under low-SNR and out-of-distribution conditions.
  arXiv  Detail & Related papers  (2025-06-06T03:20:32Z)
• Partial Transportability for Domain Generalization [56.37032680901525]
  Building on the theory of partial identification and transportability, this paper introduces new results for bounding the value of a functional of the target distribution.<n>Our contribution is to provide the first general estimation technique for transportability problems.<n>We propose a gradient-based optimization scheme for making scalable inferences in practice.
  arXiv  Detail & Related papers  (2025-03-30T22:06:37Z)
• Rectifying Conformity Scores for Better Conditional Coverage [75.73184036344908]
  We present a new method for generating confidence sets within the split conformal prediction framework.<n>Our method performs a trainable transformation of any given conformity score to improve conditional coverage while ensuring exact marginal coverage.
  arXiv  Detail & Related papers  (2025-02-22T19:54:14Z)
• Error-quantified Conformal Inference for Time Series [55.11926160774831]
  Uncertainty quantification in time series prediction is challenging due to the temporal dependence and distribution shift on sequential data.<n>We propose itError-quantified Conformal Inference (ECI) by smoothing the quantile loss function.<n>ECI can achieve valid miscoverage control and output tighter prediction sets than other baselines.
  arXiv  Detail & Related papers  (2025-02-02T15:02:36Z)
• Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift [0.061446808540639365]
  Reachability analysis is a popular method to give safety guarantees for cyber-physical systems. In this paper, we investigate the problem of performing reachability analysis for an SCPS that does not have a symbolic description of the dynamics. We propose a statistical reachability analysis technique that guarantees that any reachable state during deployment lies in this set with probability not smaller than this threshold.
  arXiv  Detail & Related papers  (2024-07-16T11:18:41Z)
• Which Invariance Should We Transfer? A Causal Minimax Learning Approach [18.71316951734806]
  We present a comprehensive minimax analysis from a causal perspective. We propose an efficient algorithm to search for the subset with minimal worst-case risk. The effectiveness and efficiency of our methods are demonstrated on synthetic data and the diagnosis of Alzheimer's disease.
  arXiv  Detail & Related papers  (2021-07-05T09:07:29Z)
• Comparing Probability Distributions with Conditional Transport [63.11403041984197]
  We propose conditional transport (CT) as a new divergence and approximate it with the amortized CT (ACT) cost. ACT amortizes the computation of its conditional transport plans and comes with unbiased sample gradients that are straightforward to compute. On a wide variety of benchmark datasets generative modeling, substituting the default statistical distance of an existing generative adversarial network with ACT is shown to consistently improve the performance.
  arXiv  Detail & Related papers  (2020-12-28T05:14:22Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.