Robust Probabilistic Temporal Logics
Logic in Computer Science
2024-08-06 v3 Formal Languages and Automata Theory
Authors:
Martin Zimmermann
Abstract
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
Keywords
Cite
@article{arxiv.2306.05806,
title = {Robust Probabilistic Temporal Logics},
author = {Martin Zimmermann},
journal= {arXiv preprint arXiv:2306.05806},
year = {2024}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Robust Computation Tree Logic
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2024-01-23
Logic in Computer Science · Computer Science
A Simple Probabilistic Extension of Modal Mu-calculus
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
2015-05-11
Logic in Computer Science · Computer Science
Specifying Robustness
John C. McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
2013-09-18
Logic in Computer Science · Computer Science
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
2022-12-22
Logic in Computer Science · Computer Science
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider, Alexander Weinert, Martin Zimmermann
2019-09-19
Logic in Computer Science · Computer Science
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)
Daniel Neider, Alexander Weinert, Martin Zimmermann
2021-04-30
Machine Learning · Computer Science
LPDS: Evaluating LLM Robustness Through Logic-Preserving Difficulty Scaling
Philipp Mondorf, Samuel J. Bell, Jesse Dodge, Dieuwke Hupkes
2026-05-18
Computation and Language · Computer Science
Teaching Probabilistic Logical Reasoning to Transformers
Aliakbar Nafar, Kristen Brent Venable, Parisa Kordjamshidi
2024-02-12
Formal Languages and Automata Theory · Computer Science
Robustness Measures and Monitors for Time Window Temporal Logic
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2023-04-14
Programming Languages · Computer Science
Real-Time Probabilistic Programming
Lars Hummelgren, Matthias Becker, David Broman
2024-07-09
Logic in Computer Science · Computer Science
Robust Linear Temporal Logic
Paulo Tabuada, Daniel Neider
2015-11-02
Applications · Statistics
Probabilistic Robustness Analysis -- Risks, Complexity and Algorithms
Xinjia Chen, Kemin Zhou, Jorge L. Aravena
2008-11-01
Logic in Computer Science · Computer Science
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
Miroslav Chodil, Antonín Kučera
2025-05-01
Systems and Control · Electrical Eng. & Systems
Specifying User Preferences using Weighted Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
2020-10-05
Logic in Computer Science · Computer Science
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
Jean Leneutre, Vadim Malvone, James Ortiz
2024-11-04
Logic in Computer Science · Computer Science
Real-time and Probabilistic Temporal Logics: An Overview
Savas Konur
2013-08-06
Computation and Language · Computer Science
A Study into Investigating Temporal Robustness of LLMs
Jonas Wallat, Abdelrahman Abdallah, Adam Jatowt, Avishek Anand
2025-03-24
Logic in Computer Science · Computer Science
Robust Alternating-Time Temporal Logic
Aniello Murano, Daniel Neider, Martin Zimmermann
2023-07-21
Systems and Control · Electrical Eng. & Systems
On Robustness Metrics for Learning STL Tasks
Peter Varnai, Dimos V. Dimarogonas
2020-03-16
Logic in Computer Science · Computer Science
Temporal Logics with Language Parameters
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
2019-10-28
Machine Learning · Computer Science
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2024-07-11
Systems and Control · Electrical Eng. & Systems
Time-Robust Control for STL Specifications
Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021-12-15
Computation and Language · Computer Science
RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning
Soumya Sanyal, Zeyi Liao, Xiang Ren
2022-11-09
Machine Learning · Computer Science
Certified Robustness to Programmable Transformations in LSTMs
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2021-09-08
Systems and Control · Electrical Eng. & Systems
Robust Multi-Agent Coordination from CaTL+ Specifications
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023-04-14