92 citations · 252 across the 18 of their papers we have counts for
1 paper · 1 filter
Wen-Chi Yang, Jean-François Raskin, Luc De Raedt
Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic system, a probabilistic model checke…