Scholar
Robert Reed
Google Scholar ID: rs1YtXsAAAAJ
Graduate Researcher, University of Colorado Boulder
formal methods
machine learning
stochastic systems
control synthesis
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
23
H-index
3
i10-index
0
Publications
4
Co-authors
0
Publications
1 items
Scalable Formal Verification via Autoencoder Latent Space Abstraction
2025
Cited
0
