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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.41 (Ubuntu) Server at essai2024.di.uoa.gr Port 443