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

May 2024: A postdoc position is available now at Oxford on the FAIR project. Applications close on 22nd May 2024. Follow this link for more details.
April 2024: We are honoured that PRISM and its creators have won the 2024 ETAPS Test-of-Time Tool Award! For more details, see here.
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.

[ more news... ]