Robust probabilistic temporal logics

DOI10.1016/J.IPL.2024.106522MaRDI QIDQ6663513zbMATH OpenFDO

Authors Martin Zimmermann

Publication date 14 January 2025

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IPL.2024.106522

zbMATH Keywords

model checkingprobabilistic temporal logicsrobustness

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A logic for reasoning about time and reliability
• Automata, logics, and infinite games. A guide to current research
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov chains and unambiguous automata
• PAC statistical model checking for Markov decision processes and stochastic games
• Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
• Probability theory. A comprehensive course.
• Robust alternating-time temporal logic
• Robust Control of Markov Decision Processes with Uncertain Transition Matrices
• Robust Dynamic Programming
• Robust linear temporal logic
• Robust Markov Decision Processes
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Robust probabilistic temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6663513)