Cover Image

Runtime Verification for LTL in Stochastic Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Esparza, Javier, Fischer, Vincent
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Runtime Verification of Interactions Using Automata
by: Weil-Kennedy, Chana, et al.
Published: (2025)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
by: Kontinen, Juha, et al.
Published: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
by: Asor, Ohad
Published: (2026)

Varanus: Runtime Verification for CSP
by: Luckcuck, Matt, et al.
Published: (2025)

Characterizing LTL Formulas by Examples
by: Cate, Balder ten, et al.
Published: (2026)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
by: Regaud, Gaëtan, et al.
Published: (2025)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
by: Engelaar, Maico H. W., et al.
Published: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

A Note on Runtime Verification of Concurrent Systems
by: Leucker, Martin
Published: (2025)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
by: Gonzalez, Bruno Maria René, et al.
Published: (2025)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
by: Fortin, Marie, et al.
Published: (2023)

RvLLM: LLM Runtime Verification with Domain Knowledge
by: Zhang, Yedi, et al.
Published: (2025)

Verification and External Parameter Inference for Stochastic World Models
by: Calinescu, Radu, et al.
Published: (2025)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
by: Czerner, Philipp, et al.
Published: (2026)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
by: Bollig, Benedikt
Published: (2026)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
by: Balasubramanian, A. R., et al.
Published: (2020)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

Verification of Configurable SRA Systems
by: Cimatti, Alessandro, et al.
Published: (2026)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
by: Koll, Charles, et al.
Published: (2025)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
by: Danso, Priscilla Kyei, et al.
Published: (2026)

On Deciding Constant Runtime of Linear Loops
by: Frohn, Florian, et al.
Published: (2026)

Positive and monotone fragments of FO and LTL
by: Kuperberg, Denis, et al.
Published: (2024)

The Complexity of Second-order HyperLTL
by: Frenkel, Hadar, et al.
Published: (2023)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
by: Perez, Mateo, et al.
Published: (2023)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Learning Robust Markov Models for Safe Runtime Monitoring
by: Skurka, Antonina, et al.
Published: (2026)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
by: Regaud, Gaëtan, et al.
Published: (2025)

A Unified Gentzen-style Framework for Until-free LTL
by: Kamide, Norihiro, et al.
Published: (2024)