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

Cosmic Ray Susceptibility of the Terahertz Intensity Mapper..:

Liu, Lun-Jun ; Janssen, Reinier M. J. ; Bumble, Bruce...
Journal of Low Temperature Physics.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Artificial Intelligence-Centric Low-Enthalpy Geothermal Fie..:

Clemens, Torsten ; Chiotoroiu, Maria-Magdalena ; Corso, Anthony..
Energies.  17 (2024)  8 - p. 1887 , 2024
Link: https://doi.org/10.3390/..
 
?
3

Sequentially optimized data acquisition for a geothermal re..:

Corso, Anthony ; Chiotoroiu, Maria ; Clemens, Torsten..
Geothermics.  120 (2024)  - p. 102983 , 2024
Link: https://doi.org/10.1016/..
 
?
4

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/..
 
?
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

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/..
 
?
7

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

Verification of Image-Based Neural Network Controllers Usin..:

Katz, Sydney M. ; Corso, Anthony L. ; Strong, Christopher A..
Journal of Aerospace Information Systems.  19 (2022)  9 - p. 574-584 , 2022
Link: https://doi.org/10.2514/..
 
?
11

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/..
 
?
12

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/..
 
?
13

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/..
 
?
14

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/..
 
?
15

Sunbelt Cities 

Politics and Growth since World War II 
Bernard, Richard M ; Bernard, Richard M ; Clark, David L... , [2021]
Link: https://doi.org/10.7560/..
 
1-15