Robert Reed

11 papers A* 1C 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification.
AAAI
Robert Reed, Luca Laurenti, Morteza Lahijanian
2025 C conf
Learning-Based Shielding for Safe Autonomy under Unknown Dynamics.
ACC
Robert Reed, Morteza Lahijanian
2025 J jnl
Scalable Formal Verification via Autoencoder Latent Space Abstraction.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Learning-Based Shielding for Safe Autonomy under Unknown Dynamics.
CoRR
Robert Reed, Morteza Lahijanian
2024 C conf
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking.
ACC
Robert Reed, Hanspeter Schaub, Morteza Lahijanian
2024 J jnl
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking.
CoRR
Robert Reed, Hanspeter Schaub, Morteza Lahijanian
2023 J jnl
Promises of Deep Kernel Learning for Control Synthesis.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2023 J jnl
Promises of Deep Kernel Learning for Control Synthesis.
IEEE Control. Syst. Lett.
Robert Reed, Luca Laurenti, Morteza Lahijanian
2007 C conf
Missouri satellite air quality project.
IGARSS
Verne Kaupp, Tim Haithcoat, Robert Reed, Nichole Hilstrom, Connor Henley, Jacob Mueth, Jordan Parshall, Joe Engeln, Jeff Bennett, Leanne Tippett-Mosby
2001 — conf
Transforming a Master's Degree Program to Full Web Delivery.
WebNet
Judy Lee, Robert Reed