Libri UniversitariApri il catalogo

Multi-Agent Systems – prof. Tatjana Petrov

Data Science and Artificial Intelligence – sede di Trieste · Università degli Studi di Trieste · esame facoltativo · 6 CFU · canale unico

Libri del canale

Multi-Agent Systems 6 CFU

TPProf. Tatjana Petrov Canale unico

Testi di riferimento consigliati

Shoham – Multiagent SystemsVerificato sulla scheda ufficiale il 03/10/2026
Aceto – Reactive SystemsVerificato sulla scheda ufficiale il 03/10/2026
Russell – Artificial IntelligenceVerificato sulla scheda ufficiale il 03/10/2026
Hamann – Swarm RoboticsVerificato sulla scheda ufficiale il 03/10/2026
Myers – Engineering Genetic CircuitsVerificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Algorithmic – And logical foundationsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Pearson – 4th editionCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Aceto – Reactive SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Myers – Engineering genetic circuitsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Durante il corso verranno inoltre forniti materiali didattici, tutorial e documentazione relativi al model checking probabilistico (PRISM, Storm) e ai moderni sistemi multi-agente.

Argomenti del programma: Il corso introduce la teoria e i metodi dei sistemi multi-agente, con particolare attenzione alla modellazione, alla verifica e al ragionamento strategico nei sistemi intelligenti collettivi. Gli studenti studieranno modelli concorrenti e stocastici di agenti interagenti, inclusi sistemi di transizione, modelli di Markov e processi di popolazione, insieme a tecniche di verifica formale e di analisi game-theoretica.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Data Science and Artificial Intelligence – sede di Trieste, 2º anno, tutte le materie e i canali ›

Testi d'esame di Multi-Agent Systems del prof. Tatjana Petrov, canale unico, corso di laurea in Data Science and Artificial Intelligence – sede di Trieste (Laurea magistrale (LM Data)), Università degli Studi di Trieste, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Shoham – Multiagent Systems; Wooldridge – An Introduction to Multi-Agent Systems; Aceto – Reactive Systems; Russell – Artificial Intelligence; Hamann – Swarm Robotics; Henzinger – Formalisms for Specifying Markovian Population Models; Myers – Engineering Genetic Circuits.

Altre materie del prof. Petrov

Vedi anche: Prof. Tatjana Petrov · Multi-Agent Systems a Trieste (tutti i canali)