A Temporal Logic of Robustness-Reference-Cited by-同舟云学术

A Temporal Logic of Robustness

Published: Issue: Volume: Page:193-205
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

French Tim,Mc Cabe-Dansted John C.,Reynolds Mark

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74621-8_13.pdf

Reference22 articles.

1. Emerson, E.A., Sistla, A.P.: Deciding full branching time logic. Technical report, University of Texas at Austin, Austin, TX, USA (1985)

2. Clarke, E., Emerson, E.: Synthesis of synchronization skeletons for branching time temporal logic. In: Proc. IBM Workshop on Log. of Progr., Yorktown Heights, pp. 52–71. Springer, Heidelberg (1981)

3. French, T., M c Cabe-Dansted, J.C., Reynolds, M.: A temporal logic of robustness, RoCTL*. Technical report, UWA (2007) http://dansted.org/RoCTL07.pdf

4. Forrester, J.W.: Gentle murder, or the adverbial samaritan. J. Philos. 81(4), 193–197 (1984)

5. van der Torre, L.W.N., Tan, Y.: The temporal analysis of Chisholm’s paradox. In: Senator, T., Buchanan, B. (eds.) Proc. 14 th Nation. Conf. on AI and 9 th Innov. Applic. of AI Conf., Menlo Park, California, pp. 650–655. AAAI Press, Stanford, California (1998)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Robust Alternating-Time Temporal Logic;Logics in Artificial Intelligence;2023

2. Robust Computation Tree Logic;Lecture Notes in Computer Science;2022

3. Sublogics of a branching time logic of robustness;Information and Computation;2019-06

4. Severity-Sensitive Robustness Analysis in Normative Systems;Coordination, Organizations, Institutions, and Norms in Agent Systems X;2015

5. A complete axiomatization of a temporal logic with obligation and robustness;Journal of Logic and Computation;2014-06-27