Search Results for author: Hjalmar Wijk

Found 5 papers, 4 papers with code

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits

1 code implementation11 May 2022 Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska

In many domains, worst-case guarantees on the performance (e. g., prediction accuracy) of a decision function subject to distributional shifts and uncertainty about the environment are crucial.

Shielding Atari Games with Bounded Prescience

1 code implementation20 Jan 2021 Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk

We present the first exact method for analysing and ensuring the safety of DRL agents for Atari games.

Atari Games Autonomous Driving +1

Cannot find the paper you are looking for? You can Submit a new open access paper.