research
∙
07/14/2022
Verification of Sigmoidal Artificial Neural Networks using iSAT
This paper presents an approach for verifying the behaviour of nonlinear...
share
research
∙
10/25/2021
Towards a Formalisation of Justification and Justifiability
We introduce the logic QKSD which is a normal multi-modal logic over fin...
research
∙
10/31/2019
Dynamic Conflict Resolution Using Justification Based Reasoning
We study conflict situations that dynamically arise in traffic scenarios...
research
∙
05/28/2019