Implementing Temporal Logics: Tools for Execution and Proof

DOI10.1007/11750734_8zbMath1236.68224OpenAlexW1515815766WikidataQ98283827 ScholiaQ98283827MaRDI QIDQ3623967

No author found.

Publication date: 28 April 2009

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

Full work available at URL: https://doi.org/10.1007/11750734_8

Mathematics Subject Classification ID

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

Related Items (1)

Specification and Verification of Multi-Agent Systems

Uses Software

• VAMPIRE
• TeMP

This page was built for publication: Implementing Temporal Logics: Tools for Execution and Proof