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

Macroarea STEM

Home Calendar Unipd Educational Offer Timetables Uniweb Webmail My Media

Section outline

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