10 citations · 14 across the 4 of their papers we have counts for
4 papers
Safe Reinforcement Learning via Probabilistic Logic Shields
Wen-Chi Yang, Giuseppe Marra, Gavin Rens +1
Safe Reinforcement learning (Safe RL) aims at learning optimal policies while staying safe. A popular solution to Safe RL is shielding, which uses a logical safety specification to…
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Gavin Rens, Wen-Chi Yang, Jean-François Raskin +1
We propose a framework for learning a fragment of probabilistic computation tree logic (pCTL) formulae from a set of states that are labeled as safe or unsafe. We work in a relatio…
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…
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…