Index of /presentations/Courses/Logic-based specification and verification of multi-agent systems (A)_

	Name	Last modified	Size	Description
	Parent Directory		-
	Slides/	2024-08-03 16:31	-
	EUMAS2018-Generalising_the_Dining_Philosophers_Problem.pdf	2024-08-03 16:31	337K
	ATL-JACM.pdf	2024-08-03 16:31	337K
	REASONING ABOUT STRATEGIES- ON THE SATISFIABILITY PROBLEM⋆ FABIO MOGAVERO1, ANIELLO MURANO2, GIUSEPPE PERELLI1†, AND MOSHE Y. VARDI - 1611.08541.pdf	2024-08-03 16:31	488K
	Reasoning About Strategies- On the Model-Checking Problem-1112.6275v2.pdf	2024-08-03 16:31	632K
	Augmenting ATL with strategy contexts - François Laroussinie, Nicolas Markey.pdf	2024-08-03 16:31	752K
	ToCL-2022-The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.pdf	2024-08-03 16:31	820K
	Logics for Reasoning About Strategic Abilities in Multi-player Games-published version.pdf	2024-08-03 16:31	961K
	AI-2022-Knowledge-based strategies for multi-agent teams playing against Nature.pdf	2024-08-03 16:31	1.7M
	JAAMAS-Combining quantitative and qualitative reasoning in concurrent multi‐player games - Nils Bulling · Valentin Goranko.pdf	2024-08-03 16:31	2.6M
	JAAMAS 2020 - Logic-based specification and verification of homogeneous dynamic multi-agent systems.pdf	2024-08-03 16:31	5.7M