43 citations · 119 across the 29 of their papers we have counts for
3 papers · 1 filter
Efficient Discovery of Actual Causality in Stochastic Systems
Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour
Identifying the actual cause of events in engineered systems is a fundamental challenge in system analysis. Finding such causes becomes more challenging in the presence of noise an…
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
Lina Gerlach, Tobias Winkler, Erika Ábrahám +2
Markov decision processes model systems subject to nondeterministic and probabilistic uncertainty. A plethora of verification techniques addresses variations of reachability proper…
HypRL: Reinforcement Learning of Control Policies for Hyperproperties
Tzu-Han Hsu, Arshia Rafieioskouei, Borzoo Bonakdarpour
Reward shaping in multi-agent reinforcement learning (MARL) for complex tasks remains a significant challenge. Existing approaches often fail to find optimal solutions or cannot ef…