Actions with Failures in Interval Temporal Logic

DOI10.1007/978-3-540-88833-8_2MaRDI QIDQ3602939zbMATH OpenOpenAlexFDO

Authors Arjen Hommersom, Peter Lucas

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• A Temporal Logic of Robustness
• Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
• Why systems of temporal logic are sometimes (un)useful?
• scientific article; zbMATH DE number 3889506
• Dynamic logic for reasoning about actions and agents

Cites work

• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction.

Cited in

(1)

• scientific article; zbMATH DE number 733397 (Why is no real title available?)

This page was built for publication: Actions with Failures in Interval Temporal Logic

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