A Temporal Logic of Robustness

DOI10.1007/978-3-540-74621-8_13zbMath1148.03312OpenAlexW1534292130MaRDI QIDQ3525010

John C. McCabe-Dansted, M. A. Reynolds, Tim French

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

robustnessmodal logicdecidabilitybranching time logicRoCTL*QCTL*

Mathematics Subject Classification ID

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

Related Items (6)

Expressiveness and succinctness of a logic of robustness ⋮ Simulation relations for fault-tolerance ⋮ Sublogics of a branching time logic of robustness ⋮ A resolution calculus for the branching-time temporal logic CTL ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification

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