?
Lecture Notes in Electrical Engineering; Applications in Electronics Pervading Industry, Environment and Society ,
4
Evaluation of AI and Video Computing Applications on Multip..:
, In:
?
Lecture Notes in Electrical Engineering; Applications in Electronics Pervading Industry, Environment and Society ,
7
Speeding Up Non-archimedean Numerical Computations Using AV..:
, In:
?
2024 IEEE Aerospace Conference ,
12
Operations for Autonomous Spacecraft: Downlink Analysis of ..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
13
Towards Formal Verification of Neural Networks in Cyber-Phy..:
, In:
?
2024 IEEE Aerospace Conference ,
14