Search for persons
X
?
Wisdom, Well-Being, Win-Win; Lecture Notes in Computer Science ,
2
Spatial Analysis of Social Media's Proxies for Human Emotio..:
, In:
?
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) ,
5
Efficient Determination of Safety Requirements for Percepti..:
, In:
?
2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) ,
6
SAVME: Efficient Safety Validation for Autonomous Systems U..:
, In:
?
2023 IEEE Intelligent Vehicles Symposium (IV) ,
7
Experience Filter: Using Past Experiences on Unseen Tasks o..:
, In:
?
2023 IEEE International Conference on Assured Autonomy (ICAA) ,
8
Leveraging Compositional Methods for Modeling and Verificat..:
, In:
?
2022 4th International Conference on Emerging Trends in Electrical, Electronic and Communications Engineering (ELECOM) ,
9
Artifact for Strategic Decision-Making by Telecommunication..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
11
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimension..:
, In:
?
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ,
12
Interpretable Safety Validation for Autonomous Vehicles:
, In:
?
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ,
13
Scalable Autonomous Vehicle Safety Validation through Dynam..:
, In:
?
2019 IEEE Intelligent Transportation Systems Conference (ITSC) ,
14