Elbaum, Sebastian
- Refactoring Neural Networks for Verification
2019/08/06 by David Shriver, Shriver, David, Dong Xu +5 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Software Engineering Research
- Software Engineering for Robotics: Future Research Directions; Report from the 2023 Workshop on Software Engineering for Robotics
2024/01/22 by Goues, Claire Le, Elbaum, Sebastian, Anthony, David +7 · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO) #Software Engineering (cs.SE)