10 citations · 14 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021★ 1 cited
Lifted Model Checking for Relational MDPs
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…
cs.AI2021★ 10 cited
Leaving Goals on the Pitch: Evaluating Decision Making in Soccer
Maaike Van Roy, Pieter Robberechts, Wen-Chi Yang +2
Analysis of the popular expected goals (xG) metric in soccer has determined that a (slightly) smaller number of high-quality attempts will likely yield more goals than a slew of lo…