Talks & Tutorials

Slides from some selected talks and tutorials:

• "PRISM: ETAPS Test-of-Time Tool Award 2024"
  (award talk at ETAPS 2024, Luxemburg, April 2024)
  
• "Multi-Agent Verification and Control with Probabilistic Model Checking" [abstract] [paper]
  (keynote talk at QEST / CONFEST 2023, Intl. Conf. on Quantitative Evaluation of SysTems, Antwerp, September 2023)
  
• "Model Uncertainty in Sequential Decision-Making" [abstract] [resources]
  (lectures 1-3 of a tutorial at the 2023 European Summer School on Artificial Intelligence (ESSAI), Ljubljana, July 2023)
  
• "Tutorial: Probabilistic Model Checking"
  (invited tutorial at the "Scalable Analysis of Probabilistic Models and Programs" Dagstuhl seminar, June 2023)
  
• "Planning with Probabilistic Model Checking"
  (invited tutorial at the "Rigorous Automated Planning" Lorentz workshop, June 2022)
  
• "Probabilistic Verification of Concurrent Autonomous Systems"
  (invited tutorial at EXPRESS/SOS 2021, August 2021)
  
• "Verification with Stochastic Games: Advances and Challenges" [abstract] [video]
  (keynote talk at iFM 2020, International Conference on integrated Formal Methods, November 2020)
  
• "PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time"
  (tool paper presented at CAV 2020, July 2020)
  
• "Verification and Strategy Synthesis for Stochastic Games"
  (talk at Radboud University Nijmegen, March 2020)
  
• "Probabilistic Model Checking for Safety and Performance Guarantees"
  (talk at Dagstuhl seminar "Analysis of Autonomous Mobile Collectives in Complex Physical Environments", October 2019)
  
• "Automated Formal Analysis of Side Channel Attacks on Probabilistic Systems"
  (paper presented at ESORICS 2019, Luxembourg, September 2019)
  
• "Multi-objective Reasoning with Probabilistic Model Checking"
  (invited talk at the 2019 Multi-objective Reasoning in Verification and Synthesis workshop, Vancouver, June 2019)
  
• "Probabilistic Model Checking: Advances and Applications"
  (invited talk at the 2018 Highlights of Logic, Games and Automata conference, Berlin, September 2018)
  
• "Probabilistic Model Checking: Past, Present & Future"
  (presentation for the 2016 HVC award, given at HVC'16 with Marta Kwiatkowska, Haifa, November 2016)
  
• "Formal Guarantees for Robotic Navigation Planning"
  (part 2 of the tutorial "Task Scheduling and Execution for Long-Term Autonomy" with Nick Hawes
  at the ICAPS'16 summer school, Kings College London, June 2016)
  
• "Probabilistic Model Checking and Controller Synthesis" [abstract] [resources]
  (tutorial at the AVACS Autumn School Oldenburg, October 2015)
  
• "Probabilistic Model Checking and Strategy Synthesis for Robot Navigation" [abstract]
  (talk at the Autonomous Intelligent Machines and Systems (AIMS) CDT, University of Oxford)
  
• "Probabilistic Model Checking and Strategy Synthesis" [abstract]
  (talk at the University of California, Berkeley in the DREAMS seminar series, October 2014)
  
• "Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance" [abstract]
  (keynote talk at FMICS'14, Florence, September 2014)
  
• "Automated Verification of Probabilistic Real-time Systems" [abstract] [resources]
  (tutorial at the MOVEP'14: MOdelling and VErifying Parallel Processes summer school, Nantes, July 2014)
  
• "Probabilistic Model Checking and Strategy Synthesis" [abstract]
  (talk at NASA Ames, Mountain View, California, October 2013)
  
• "Quantitative Verification: Correctness, Reliability and Beyond" [abstract]
  (tech talk at Google, Mountain View, California, October 2013)
  
• "Verification of Probabilistic Real-time Systems" [abstract]
  (tutorial at the French Summer School on Real-Time Systems (ETR 2013), Toulouse, August 2013)
  
• "Automated Game-theoretic Verification for Probabilistic Systems" [abstract]
  (seminar at Imperial College London, December 2012)
  
• "Quantitative Verification: Correctness, Reliability and Beyond" [abstract]
  (talk in lunchtime series at University of Birmingham, December 2012)
  
• "Automated Game-theoretic Verification for Probabilistic Systems" [abstract]
  (talk at Dagstuhl seminar "Games and Decisions for Rigorous Systems Engineering", November 2012)
  
• "Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking" [abstract]
  (seminar at Birmingham's Centre for Systems Biology (CSB), June 2012)
  
• "Automatic Verification of Competitive Stochastic Systems" [abstract]
  (departmental seminar at University of Liverpool, May 2012)
  
• "Automatic Verification of Competitive Stochastic Systems" [abstract]
  (LFCS seminar at University of Edinburgh, March 2012)
  
• "PRISM: Overview, Recent Updates and Future Directions"
  (talk at ERC Workshop on Software Quality, Venice, September 2011)
  
• "PRISM 4.0: Verification of Probabilistic Real-time Systems"
  (paper presented at CAV'11, Utah, July, 2011)
  
• "Automated Verification Techniques for Probabilistic Systems"
  (tutorial at the SFM-11:CONNECT summer-school, Bertinoro, June 2011)
  Slides: part 1/2 (intro + DTMCs); part 3 (MDPs); part 4 (compositional probabilistic verification).