Robert Reed

Orcid: 0009-0006-8982-391X

According to our database¹, Robert Reed authored at least 7 papers between 2001 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Awards

IEEE Fellow

IEEE Fellow 2014, "For contributions to understanding the effects of single-event particle radiation on integrated circuits".

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Scalable Formal Verification via Autoencoder Latent Space Abstraction.

[BibT_eX]

[DOI]

Robert Reed

Luca Laurenti

Morteza Lahijanian

CoRR, December, 2025

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics.

[BibT_eX]

[DOI]

Robert Reed

Morteza Lahijanian

Proceedings of the 2025 American Control Conference, 2025

Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification.

[BibT_eX]

[DOI]

Robert Reed

Luca Laurenti

Morteza Lahijanian

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking.

[BibT_eX]

[DOI]

Robert Reed

Hanspeter Schaub

Morteza Lahijanian

Proceedings of the American Control Conference, 2024

2023

Promises of Deep Kernel Learning for Control Synthesis.

[BibT_eX]

[DOI]

Robert Reed

Luca Laurenti

Morteza Lahijanian

IEEE Control. Syst. Lett., 2023

2007

Missouri satellite air quality project.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2007

2001

Transforming a Master's Degree Program to Full Web Delivery.

[BibT_eX]

Judy Lee

Robert Reed

Proceedings of WebNet 2001, 2001

Robert Reed

Awards

IEEE Fellow

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...