Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hagemann, Willem"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 361:45-60
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 interval constraint propagator for the sigmoid function into the SMT
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 local perception. We distinguish several types of conflicts for this se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bd530e089d78af044e655f64336a736
http://arxiv.org/abs/1905.11764
http://arxiv.org/abs/1905.11764