Advanced Topics in Computer Science: Probabilistic and Statistical Verification, Sezione: Lectures - slide decks

Macroarea STEM

Home Calendario Unipd Portale Didattica Orari Uniweb Webmail My Media

Schema della sezione

- Seleziona attività 01-intro-unipd24
  
  01-intro-unipd24 File
- Seleziona attività 02-dtmcs-p1-unipd24
  
  02-dtmcs-p1-unipd24 File
- Seleziona attività 03-dtmcs-p2-unipd24
  
  03-dtmcs-p2-unipd24 File
- Seleziona attività 04-logics-p1-unipd24
  
  04-logics-p1-unipd24 File
- Seleziona attività 04-logics-p2-unipd24
  
  04-logics-p2-unipd24 File
- Seleziona attività 04-logics-p3-unipd24
  
  04-logics-p3-unipd24 File
- Seleziona attività 04-prob-logics-unipd24
  
  04-prob-logics-unipd24 File
- Seleziona attività 05-dtmc-model-checking-unipd24
  
  05-dtmc-model-checking-unipd24 File
- Seleziona attività 06-costs-rewards-unipd24
  
  06-costs-rewards-unipd24 File
- Seleziona attività 07-ctmcs-p1-unipd24
  
  07-ctmcs-p1-unipd24 File
- Seleziona attività 08-ctmcs-p2-unipd24
  
  08-ctmcs-p2-unipd24 File
- Seleziona attività presentation maths unipd apr24
  
  presentation maths unipd apr24 File
- Seleziona attività 9-ctmc-model-checking-unipd24
  
  9-ctmc-model-checking-unipd24 File
- Seleziona attività 10-mdps-unipd24
  
  10-mdps-unipd24 File
- Seleziona attività 11-mdp-reachability-unipd24
  
  11-mdp-reachability-unipd24 File
- Seleziona attività 12-mdp-model-checking-unipd24
  
  12-mdp-model-checking-unipd24 File
- Seleziona attività 13-automata-unipd24
  
  13-automata-unipd24 File
- Seleziona attività 14-omega-regular-unipd24
  
  14-omega-regular-unipd24 File
- Seleziona attività 15-ltl-model-checking-unipd24
  
  15-ltl-model-checking-unipd24 File
- Seleziona attività 16-strategy-synthesis-unipd24
  
  16-strategy-synthesis-unipd24 File