Libri UniversitariApri il catalogo

Hamann – Swarm Robotics

Libro adottato a Trieste, a.a. 2026/2027 · 1 canale

«Hamann – Swarm Robotics» è adottato per Multi-Agent Systems dal prof. Tatjana Petrov (Data Science and Artificial Intelligence – sede di Trieste – Trieste).

Hamann – Swarm RoboticsCerca su Amazon ›

Come lo indica il docente: Hamann, H. Swarm Robotics: A Formal Approach. Springer, 2018

Chi lo adotta

Programma e testi di ogni canale

Multi-Agent Systems – Prof. Tatjana Petrov Canale unico

Corso di laurea: Data Science and Artificial Intelligence – sede di Trieste · Laurea magistrale (LM Data) · esame facoltativo · 6 CFU

Trieste · Dipartimento di Matematica, Informatica e Geoscienze · 6 CFU · apri nel catalogo · Data Science and Artificial Intelligence – sede di Trieste · 2º anno · 2º semestre ›

Testi di riferimento consigliati

Shoham – Multiagent SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Wooldridge – An Introduction to Multi-Agent SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Aceto – Reactive SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Russell – Artificial IntelligenceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Hamann – Swarm Roboticsquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Henzinger – Formalisms for Specifying Markovian Population ModelsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Myers – Engineering Genetic CircuitsCerca su Amazon ›Verificato 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
Wooldridge – An Introduction to Multi-agent SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Aceto – Reactive SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Heiko Haman, Swarm Robotics: A Formal Approach. Springer,Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Henzinger – Formalisms for specifying Markovian population modelsCerca 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.

Si studia insieme a