I agree that this site is using cookies. You can find further informations here.
X
Corso, Anthony
10  results:
Bookchapter (Online) X
Search for persons X
?
1

Spatial Analysis of Social Media's Proxies for Human Emotio..:

, In: Wisdom, Well-Being, Win-Win; Lecture Notes in Computer Science,
Corso, Anthony J. ; Disanto, Nicolas C. ; Corso, Nathan A.. - p. 175-185 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Efficient Determination of Safety Requirements for Percepti..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Katz, Sydney M. ; Corso, Anthony L. ; Yel, Esen. - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
3

SAVME: Efficient Safety Validation for Autonomous Systems U..:

, In: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC),
Schlichting, Marc R. ; Boord, Nina V. ; Corso, Anthony L.. - p. 2118-2124 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Experience Filter: Using Past Experiences on Unseen Tasks o..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Yildiz, Anil ; Yel, Esen ; Corso, Anthony L.... - p. 1-7 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Leveraging Compositional Methods for Modeling and Verificat..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),
Pinto, Alessandro ; Corso, Anthony ; Schmerling, Edward - p. 34-43 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Artifact for Strategic Decision-Making by Telecommunication..:

, In: 2022 4th International Conference on Emerging Trends in Electrical, Electronic and Communications Engineering (ELECOM),
Alghamdi, Salem ; Hilton, Brian ; Alhasawi, Yaser.. - p. 1-9 , 2022
Link: https://doi.org/10.1109/..
 
?
7

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimension..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Strong, Christopher A. ; Katz, Sydney M. ; Corso, Anthony L.. - p. 299-317 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Interpretable Safety Validation for Autonomous Vehicles:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Corso, Anthony ; Kochenderfer, Mykel J. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Scalable Autonomous Vehicle Safety Validation through Dynam..:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Corso, Anthony ; Lee, Ritchie ; Kochenderfer, Mykel J. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Adaptive Stress Testing with Reward Augmentation for Autono..:

, In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC),
Corso, Anthony ; Du, Peter ; Driggs-Campbell, Katherine. - p. 163-168 , 2019
Link: https://doi.org/10.1109/..
 
1-10