Robust probabilistic temporal logics
From MaRDI portal
Publication:6663513
DOI10.1016/j.ipl.2024.106522MaRDI QIDQ6663513
Publication date: 14 January 2025
Published in: Information Processing Letters (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- A logic for reasoning about time and reliability
- Automata, logics, and infinite games. A guide to current research
- Probability theory. A comprehensive course.
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Robust Markov Decision Processes
- Robust Linear Temporal Logic
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- Robust Dynamic Programming
- Tools and Algorithms for the Construction and Analysis of Systems
- Markov chains and unambiguous automata
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- PAC statistical model checking for Markov decision processes and stochastic games
- Robust alternating-time temporal logic
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)
