Search for persons
X
?
IEEE INFOCOM 2023 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) ,
4
A Hasty Grid S&R Prototype Using Autonomous UTM and AI-Base..:
, In:
?
Lecture Notes in Computer Science; Software Verification ,
8
Formal Verification of Neural Network Controllers for Colli..:
, In:
?
Standing with Standing Rock / Nick Estes and Jaskiran Dhillon, editors
11
Mnisose:
, In:Copies:
Zentrale:Magazin 03.b.5521