Logical formalism for specification of real-time multiagent systems

DOI10.3103/S1063454107020082zbMath1153.68403OpenAlexW2081199381MaRDI QIDQ945994

B. E. Eshmatov

Publication date: 22 September 2008

Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s1063454107020082

zbMATH Keywords

model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)

Uses Software

• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• On the expressivity and complexity of quantitative branching-time temporal logics
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Alternating-time temporal logic

This page was built for publication: Logical formalism for specification of real-time multiagent systems