A Temporal Logic of Robustness

DOI10.1007/978-3-540-74621-8_13MaRDI QIDQ3525010zbMATH OpenOpenAlexFDO

Authors John Christopher McCabe-Dansted, Tim French, Mark Alexander Reynolds

Publication date 16 September 2008

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74621-8_13

zbMATH Keywords

branching time logicdecidabilitymodal logicQCTL*robustnessRoCTL*

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• A Tableau for RoBCTL
• Robust linear temporal logic
• Sublogics of a branching time logic of robustness
• Axioms for Obligation and Robustness with Temporal Logic
• A complete axiomatization of a temporal logic with obligation and robustness

Cited in

(14)

• Simulation relations for fault-tolerance
• Sublogics of a branching time logic of robustness
• A complete axiomatization of a temporal logic with obligation and robustness
• dCTL: a branching time temporal logic for fault-tolerant system verification
• Actions with Failures in Interval Temporal Logic
• scientific article; zbMATH DE number 1361134 (Why is no real title available?)
• Expressiveness and succinctness of a logic of robustness
• Axioms for Obligation and Robustness with Temporal Logic
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• Robust linear temporal logic
• A resolution calculus for the branching-time temporal logic CTL
• Robust Analysis of Timed Automata Via Channel Machines
• Robust alternating-time temporal logic

This page was built for publication: A Temporal Logic of Robustness

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