Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
Editorial
Chen, Xiaoping
33
3
p. 299-300
artikel
2
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation
Yang, Pengfei
33
3
p. 407-435
artikel
3
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
Yang, Zhibin
33
3
p. 343-384
artikel
4
Inferring Switched Nonlinear DynamicalSystems
Jin, Xiangyu
33
3
p. 385-406
artikel
5
Learning safe neural network controllers with barrier certificates
Zhao, Hengjun
33
3
p. 437-455
artikel
6
Machine learning steered symbolic execution framework for complex software code
Bu, Lei
33
3
p. 301-323
artikel
7
SDLV: Verification of Steering Angle Safety for Self-Driving Cars
Wu, Huihui
33
3
p. 325-341
artikel
8
Semantics of the probabilistic Lambda CalculusBy Dirk Draheim
Loreti, Michele
33
3
p. 457-458
artikel
8 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland