Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Hagemann, Willem"'
Publikováno v:
EPTCS 361, 2022, pp. 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
Externí odkaz:
http://arxiv.org/abs/2207.06755
Autor:
Hagemann, Willem
Publikováno v:
EPTCS 348, 2021, pp. 136-149
We introduce the logic QKSD which is a normal multi-modal logic over finitely many modalities that additionally supports bounded quantification of modalities. An important feature of this logic is that it allows to quantify over the information compo
Externí odkaz:
http://arxiv.org/abs/2110.12581
Publikováno v:
EPTCS 308, 2019, pp. 47-65
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:
http://arxiv.org/abs/1911.07290
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:
http://arxiv.org/abs/1905.11764
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
INSIGHT. 25:9-14
Publikováno v:
Sustainability (2071-1050); May2023, Vol. 15 Issue 10, p7791, 27p
Publikováno v:
2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).