Section : Lectures - slide decks | Advanced Topics in Computer Science: Probabilistic and Statistical Verification

Macroarea STEM

Accueil Calendrier My Media

Résumé de section

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