Cover Image

Conformal Prediction for Signal Temporal Logic Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Danyang, Wang, Yixuan, Cleaveland, Matthew, Cai, Mingyu, Tron, Roberto
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conformalized Signal Temporal Logic Inference under Covariate Shift
by: Wang, Yixuan, et al.
Published: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Multi-class Temporal Logic Neural Networks
by: Li, Danyang, et al.
Published: (2024)

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
by: Cleaveland, Matthew, et al.
Published: (2023)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
by: Liu, Wenliang, et al.
Published: (2024)

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
by: Tumu, Renukanandan, et al.
Published: (2023)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
by: Beirami, Hani, et al.
Published: (2026)

Predictive Inference With Fast Feature Conformal Prediction
by: Tang, Zihao, et al.
Published: (2024)

STACI: Spatio-Temporal Aleatoric Conformal Inference
by: Feng, Brandon R., et al.
Published: (2025)

Inference-time Unlearning Using Conformal Prediction
by: Chowdhury, Somnath Basu Roy, et al.
Published: (2026)

Extending Prediction-Powered Inference through Conformal Prediction
by: Csillag, Daniel, et al.
Published: (2025)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)

Composable Model-Free RL for Navigation with Input-Affine Systems
by: Sang, Xinhuan, et al.
Published: (2026)

Optimal Spatio-Temporal Decoupling for Bayesian Conformal Prediction
by: Fang, Yu-Hsueh, et al.
Published: (2026)

Spatio-Temporal Conformal Prediction for Power Outage Data
by: Jiang, Hanyang, et al.
Published: (2024)

Bellman Conformal Inference: Calibrating Prediction Intervals For Time Series
by: Yang, Zitong, et al.
Published: (2024)

Logic-Guided Multistage Inference for Explainable Multidefendant Judgment Prediction
by: Zhang, Xu, et al.
Published: (2026)

Conformal Diffusion Models for Individual Treatment Effect Estimation and Inference
by: Cai, Hengrui, et al.
Published: (2024)

Conformal Loss-Controlling Prediction
by: Wang, Di, et al.
Published: (2023)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
by: Sundarsingh, David Smith, et al.
Published: (2025)

Geometry of Singular Foliations and Learning Manifolds in ReLU Networks via the Data Information Matrix
by: Tron, Eliot, et al.
Published: (2024)

Differentially Private Conformal Prediction
by: Wu, Jiamei, et al.
Published: (2026)

Conformal Prediction Beyond the Horizon: Distribution-Free Inference for Policy Evaluation
by: Gan, Feichen, et al.
Published: (2025)

Conformal Structured Prediction
by: Zhang, Botong, et al.
Published: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Gradient-Enhanced Partitioned Gaussian Processes for Real-Time Quadrotor Dynamics Modeling
by: Sang, Xinhuan, et al.
Published: (2026)

Distribution-Free Predictive Inference under Unknown Temporal Drift
by: Han, Elise, et al.
Published: (2024)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Assumption-Lean and Data-Adaptive Post-Prediction Inference
by: Miao, Jiacheng, et al.
Published: (2023)

Adaptive Conformal Inference by Betting
by: Podkopaev, Aleksandr, et al.
Published: (2024)

Beyond Conformal Predictors: Adaptive Conformal Inference with Confidence Predictors
by: Szabadváry, Johan Hallberg, et al.
Published: (2024)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
by: Liang, Kaier, et al.
Published: (2024)

Singleton-Optimized Conformal Prediction
by: Wang, Tao, et al.
Published: (2025)

Distribution-Free Conformal Joint Prediction Regions for Neural Marked Temporal Point Processes
by: Dheur, Victor, et al.
Published: (2024)

Conformal Convolution and Monte Carlo Meta-learners for Predictive Inference of Individual Treatment Effects
by: Jonkers, Jef, et al.
Published: (2024)

Counterfactually Fair Conformal Prediction
by: Guldogan, Ozgur, et al.
Published: (2025)

EquiFlow: Equivariant Conditional Flow Matching with Optimal Transport for 3D Molecular Conformation Prediction
by: Tian, Qingwen, et al.
Published: (2024)