Prof. Luca Geatti

Università degli Studi di Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Luca Geatti

Safety – Verification And Validation Techniques in Ai And Cybersecurity (Artificial Intelligence & Cybersecurity – sede di Udine, 1º anno · annuale · 12 CFU)
Safety – Verifica Automatica dei Sistemi: Teoria e Applicazioni (Informatica – sede di Udine, Sede di UDINE, 1º anno · annuale · 9 CFU)

Materie del prof. Luca Geatti

Verification And Validation Techniques in Ai And Cybersecurity Canale unico

Corso di laurea: Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · 1º anno · annuale · 12 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 12 CFU · apri nel catalogo · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno ›

Il docente indica 1 testo

Safety Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Note e slides del docente.

Argomenti del programma: Il corso offre una trattazione sistematica dei metodi, dei formalismi e degli algoritmi per la specifica formale e la verifica automatica di sistemi reattivi complessi, con applicazioni in intelligenza artificiale (sintesi, pianificazione e apprendimento) e cybersecurity.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Verifica Automatica dei Sistemi: Teoria e Applicazioni Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 9 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 9 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 1º anno ›

Il docente indica 1 testo

Safety Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Note e slides del docente.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Luca Geatti per Verification And Validation Techniques in Ai And Cybersecurity?

Safety

Quali libri consiglia il prof. Luca Geatti per Verifica Automatica dei Sistemi: Teoria e Applicazioni?

Safety