Verification of Resource-Bounded Multi-Agent Systems

Current members of the research team are (left to right in the picture) are: Brian Logan, Natasha Alechina, Thomas Methrayil Varghese, and Franco Raimondi. A former member, who contributed a lot to the project, is Hoang Nga Nguyen.

Some publications produced by the project:

• Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 9-14). pdf bib
• Nguyen, Hoang Nga, Natasha Alechina, Brian Logan, and Abdur Rakib (2015). "Alternating-time temporal logic with resource bounds." Journal of Logic and Computation. Published online, doi 10.1093/logcom/exv034 open access pdf bib
• Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766. To appear in Journal of Computer and System Sciences. pdf bib
• Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). "Symbolic Model-Checking for One-Resource RB+-ATL." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). pdf bib
• Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga (2015). "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). pdf bib
• Natasha Alechina and Brian Logan (2016). "Verifying Systems of Resource-Bounded Agents." Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings (pp. 3-12). pdf bib
• Natasha Alechina, Mehdi Dastani, and Brian Logan (2016). "Verifying Existence of Resource-Bounded Coalition Uniform Strategies." Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (pp. 24-30). pdf bib
• Natasha Alechina, Nils Bulling, St\'ephane Demri, and Brian Logan (2016). "On the Complexity of Resource-Bounded Logics." Reachability Problems - 10th International Workshop, RP 2016, Proceedings (pp. 36-50). pdf bib