Actions with Failures in Interval Temporal Logic

DOI10.1007/978-3-540-88833-8_2zbMATH Open1175.68438OpenAlexW1569280477MaRDI QIDQ3602939FDOQ3602939

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction.

Cited In (1)

• Title not available (Why is that?)

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)