3 citations · 4 across the 13 of their papers we have counts for
1 paper · 1 filter
Marta Kwiatkowska, Gethin Norman, David Parker
Design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modelling and analysis. Probabilistic model checking is…