Cover Image

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapoor, Parv, Hammer, Abigail, Kapoor, Ashish, Leung, Karen, Kang, Eunsuk
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pretrained Embeddings as a Behavior Specification Mechanism
by: Kapoor, Parv, et al.
Published: (2025)

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

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning
by: Kapoor, Parv, et al.
Published: (2024)

Constrained Decoding for Safe Robot Navigation Foundation Models
by: Kapoor, Parv, et al.
Published: (2025)

MDPs with a State Sensing Cost
by: Kapoor, Vansh, et al.
Published: (2025)

From Bytes to Bites: Using Country Specific Machine Learning Models to Predict Famine
by: Kapoor, Salloni, et al.
Published: (2024)

QDeepGR4J: Quantile-based ensemble of deep learning and GR4J hybrid rainfall-runoff models for extreme flow prediction with uncertainty quantification
by: Kapoor, Arpit, et al.
Published: (2025)

Domain decomposition architectures and Gauss-Newton training for physics-informed neural networks
by: Heinlein, Alexander, et al.
Published: (2025)

MatMamba: A Matryoshka State Space Model
by: Shukla, Abhinav, et al.
Published: (2024)

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains
by: Aloor, Jasmine Jerry, et al.
Published: (2022)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

The Limits of Inference Scaling Through Resampling
by: Stroebl, Benedikt, et al.
Published: (2024)

Synthpop++: A Hybrid Framework for Generating A Country-scale Synthetic Population
by: Neekhra, Bhavesh, et al.
Published: (2023)

Performance Evaluation of Knowledge Graph Embedding Approaches under Non-adversarial Attacks
by: Kapoor, Sourabh, et al.
Published: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Machine Learning-Based Security Policy Analysis
by: Jain, Krish, et al.
Published: (2024)

Neuro-Symbolic Operator for Interpretable and Generalizable Characterization of Complex Piezoelectric Systems
by: Chandra, Abhishek, et al.
Published: (2025)

Unifying Explainable Anomaly Detection and Root Cause Analysis in Dynamical Systems
by: Sun, Yue, et al.
Published: (2025)

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
by: Hashemi, Vahid, et al.
Published: (2024)

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
by: She, Yining, et al.
Published: (2025)

Diagnostic Runtime Monitoring with Martingales
by: Hindy, Ali, et al.
Published: (2024)

Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)

Detection of Rail Line Track and Human Beings Near the Track to Avoid Accidents
by: Hosain, Mehrab, et al.
Published: (2025)

Structure-Guided Entity Resolution: Fine-Tuning LLMs for Robust Name Matching in Complex Linguistic Contexts
by: Chourasia, Shivam, et al.
Published: (2026)

Low-Rank Agent-Specific Adaptation (LoRASA) for Multi-Agent Policy Learning
by: Zhang, Beining, et al.
Published: (2025)

Embedding-Based Federated Learning with Runtime Governance for Iron Deficiency Prediction
by: Zhang, Fan, et al.
Published: (2026)

Partial Soft-Matching Distance for Neural Representational Comparison with Partial Unit Correspondence
by: Kapoor, Chaitanya, et al.
Published: (2026)

Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
by: Lan, Jianglin, et al.
Published: (2024)

Model-Based Runtime Monitoring with Interactive Imitation Learning
by: Liu, Huihan, et al.
Published: (2023)

A Dual-Stream Physics-Augmented Unsupervised Architecture for Runtime Embedded Vehicle Health Monitoring
by: Spotorno, Enzo Nicolas, et al.
Published: (2026)

HiCL: Hippocampal-Inspired Continual Learning
by: Kapoor, Kushal, et al.
Published: (2025)

Runtime Safety Monitoring of Deep Neural Networks for Perception: A Survey
by: Schotschneider, Albert, et al.
Published: (2025)

Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems
by: Bansal, Ayoosh, et al.
Published: (2026)

MRExtrap: Longitudinal Aging of Brain MRIs using Linear Modeling in Latent Space
by: Kapoor, Jaivardhan, et al.
Published: (2025)

Temporal Misalignment Attacks against Multimodal Perception in Autonomous Driving
by: Shahriar, Md Hasan, et al.
Published: (2025)

Learning what to say and how precisely: Efficient Communication via Differentiable Discrete Communication Learning
by: Kapoor, Aditya, et al.
Published: (2025)

Adversarial Attacks in Multimodal Systems: A Practitioner's Survey
by: Kapoor, Shashank, et al.
Published: (2025)