research
∙
10/04/2021
What is understandable in Bayesian network explanations?
Explaining predictions from Bayesian networks, for example to physicians...
share
research
∙
02/19/2021
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models
Reinforcement learning (RL) is one of the most active fields of AI resea...
research
∙
12/17/2020
Efficient Verification of Optimized Code: Correct High-speed Curve25519
Code that is highly optimized poses a problem for program-level verifica...
research
∙
11/11/2019
Verifying OpenJDK's LinkedList using KeY
As a particular case study of the formal verification of state-of-the-ar...
research
∙
04/01/2019