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

July 2023: We are looking for a motivated Research Associate to play a key role on the FUN2MODEL project. Applications close on 29th August 2023. See here for more details.
July 2023: PRISM 4.8 is now available, including uncertain models (IMDPs, IDTMCs) and improved strategy generation. More information here.
May 2022: New survey paper covering MDPs, POMDPs, stochastic games and their support in PRISM and PRISM-games now available.

[ more news... ]