Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Grundt, Dominik"'
Publikováno v:
EPTCS 371, 2022, pp. 53-61
Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present a researc
Externí odkaz:
http://arxiv.org/abs/2209.14032
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
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:
Sustainability (2071-1050); May2023, Vol. 15 Issue 10, p7791, 27p
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.