Mathematics
and Interactions

Keywords > model checking

• Videos linked to model checking
  

  01:24:22

  published on February 21, 2022

  Probabilistic model checking for strategic equilibria-based decision making: Part 1

  By Marta Kwiatkowska

  More +