{"product_id":"concise-introduction-to-alternating-time-temporal-logics-von-stephane-demri","title":"Concise Introduction to Alternating-Time Temporal Logics","description":"\n                                \n                \u003cp\u003eThe 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. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThis textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage of—or adapting proof methods from—temporal logics, games in theoretical computer science and automata theory.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        \n                    \u003cstrong\u003eTopics and features:\u003c\/strong\u003e\n                                    \n                \u003c\/p\u003e\n                                \n                \n                \u003cul\u003e\n                                        \n                    \n                    \u003cli\u003eProvides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to Verification\u003c\/li\u003e\n                                        \n                    \n                    \u003cli\u003eFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalisms\u003c\/li\u003e\n                                        \n                    \n                    \u003cli\u003eIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-study\u003c\/li\u003e\n                                        \n                    \n                    \u003cli\u003eOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexity\u003c\/li\u003e\n                                        \n                \n                \u003c\/ul\u003e\n                                \n                \n                \u003cp\u003eThe textbook\/guide’s target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        \n                    \u003cstrong\u003eStéphane Demri\u003c\/strong\u003e\n                                         is a CNRS directeur de recherche at the Laboratoire Méthodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France.\n                \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032118844\"\u003e\u003ch3\u003eA Guide for Understanding the Model-Checking Problem\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Hardcover - 9783032118844","offer_id":58016003817797,"sku":"9783032118844","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c5c65538-5793-4121-9eb4-fa4f8fe34a3c.jpg?v=1779336413","url":"https:\/\/shop.autorenwelt.de\/en\/products\/concise-introduction-to-alternating-time-temporal-logics-von-stephane-demri","provider":"Autorenwelt Shop","version":"1.0","type":"link"}