Skip to content Search
Search our website:

Model checking of interval Markov decision processes

  • Speaker: Dr Moritz Hahn
  • Date: Thursday, 15 March 2018 from 16:00 to 17:00
  • Location: Room 151

TBD