2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2022★ 2 cited
Verification of Sigmoidal Artificial Neural Networks using iSAT
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann +2
This paper presents an approach for verifying the behaviour of nonlinear Artificial Neural Networks (ANNs) found in cyber-physical safety-critical systems. We implement a dedicated…
cs.MA2019
Justification Based Reasoning in Dynamic Conflict Resolution
Werner Damm, Martin Fränzle, Willem Hagemann +2
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their l…