Search for persons
X
?
?
Lecture Notes in Computer Science; NASA Formal Methods ,
10
Assume-Guarantee Reasoning with Scheduled Components:
, In:
?
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC) ,
11
Flight Test of a Collision Avoidance Neural Network with Ru..:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
13
Run-Time Assurance for Learning-Based Aircraft Taxiing:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
14
Run-Time Assurance for Learning-Enabled Systems:
, In:
?
Regenerative Strategies for Maxillary and Mandibular Reconstruction ,
15