Aceto – Reactive Systems

Libro adottato a Trieste, Udine, a.a. 2026/2027 · 2 canali

«Aceto – Reactive Systems» è adottato per Multi-Agent Systems dal prof. Tatjana Petrov (Data Science and Artificial Intelligence – sede di Trieste – Trieste); per Formal Methods For Security dal prof. Marina Lenisa (Artificial Intelligence & Cybersecurity – sede di Udine – Udine).

Come lo indica il docente: Aceto, L., Ingólfsdóttir, A., Larsen, K. G., Srba, J. Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007 · L. Aceto, A. Inglofsdottir, K. Larsen, J. Srba, "Reactive Systems: Modelling, Specification and Verification", Cambridge University Press, 2014

Chi lo adotta

• Trieste · Multi-Agent Systems – Prof. Tatjana Petrov (canale unico)Data Science and Artificial Intelligence – sede di Trieste · Laurea magistrale (LM Data) · esame facoltativo · 6 CFU
• Udine · Formal Methods For Security – Prof. Marina Lenisa (canale unico) a.a. 2025/2026Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · esame facoltativo · Piano Ad Approvazione Automatica · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Shoham – Multiagent Systems
• Wooldridge – An Introduction to Multi-Agent Systems
• Russell – Artificial Intelligence
• Hamann – Swarm Robotics
• Henzinger – Formalisms for Specifying Markovian Population Models
• Myers – Engineering Genetic Circuits