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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture_4.1_trans.pdf2024-08-03 16:31 401K 
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture 2_trans.pdf2024-08-03 16:31 717K 
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture_5_trans.pdf2024-08-03 16:31 701K 
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture 3_Temporal logic for coalitional goal assignments_trans.pdf2024-08-03 16:31 355K 
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture_4.2_trans.pdf2024-08-03 16:31 384K 
[   ]Goranko-ESSAI 2024 Course on Logics for MAS_Lecture 1_trans.pdf2024-08-03 16:31 537K 

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