www.prismmodelchecker.org
ESSLI'23 logo

ESSAI'23 - Model Uncertainty in Sequential Decision-Making

We provide here material from the lecture course "Model Uncertainty in Sequential Decision-Making" delivered at the 2023 European Summer School on Artificial Intelligence (ESSAI) by Dave Parker, Bruno Lacerda and Nick Hawes.

Here are slides from the 5 lectures:

Here are the PRISM files for the robot running example from lectures 1-3:

See here and here for more details about modelling uncertainty in PRISM.

Latest News

November 2023: PRISM-games 3.2 is now available, including symbolic model checking of turn-based stochastic games, correlated/fair equilibria and more. Further information here.
October 2023: A postdoc position is available now at Oxford on the FAIR project. Applications close on 28th November 2023. See here for more details.
September 2023: Dave Parker is giving a keynote talk at QEST / CONFEST 2023 on "Multi-Agent Verification and Control with Probabilistic Model Checking". There is an accompanying paper here.

[ more news... ]