Radoslav Ivanov
Assistant ProfessorRensselaer Polytechnic Institute · Computer Science
safe and secure autonomous systems · cyber-physical systems
- neural network verification
- formal methods
- control theory
- sensor fusion
- machine learning
QS #6952026Website