Exponential improvement of time complexity of model checking for multiagent systems with perfect recall

[Lecture Notes in Computational Science

[Lecture Notes in Computational Science and Engineering] Coping with Complexity: Model Reduction and Data Analysis Volume 75 || The Use of Global Sensitivity Methods for the Analysis, Evaluation and Improvement of Complex Modelling Systems

✍ Gorban, Alexander N.; Roose, Dirk 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 1018 KB

This volume contains the extended version of selected talks given at the international research workshop "Coping with Complexity: Model Reduction and Data Analysis", Ambleside, UK, August 31 – September 4, 2009. The book is deliberately broad in scope and aims at promoting new ideas and methodologic