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/31/2019
Dynamic Conflict Resolution Using Justification Based Reasoning
We study conflict situations that dynamically arise in traffic scenarios...
research
∙
05/28/2019
