Concise Introduction to Alternating-Time Temporal Logics
Stéphane Demri
Gebundenes Buch

Concise Introduction to Alternating-Time Temporal Logics

A Guide for Understanding the Model-Checking Problem

Versandkostenfrei!
Erscheint vorauss. 28. Februar 2026
41,99 €
inkl. MwSt.
PAYBACK Punkte
21 °P sammeln!
The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago.  This textbook provides a concise presentation of alternating-time temporal logics dedicated to ...