Congrats to Trevor Turnquist and Jordan Peper on winning the First Undergraduate and Runner-Up Graduate Awards at the ACM Student Research Competition hosted at the Embedded Systems Week 2025!
Photos from the event:
The papers relevant to these competition submissions:
- Thomas Waite, Yuang Geng, Trevor Turnquist, Ivan Ruchkin*, and Radoslav Ivanov*.
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems [Arxiv] [Poster] [Slides summary] [Slides talk] [Github].
In Proceedings of the 2nd International Conference on Neuro-symbolic Systems (NeuS), Philadelphia, PA, 2025. * Co-last authors. - Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin.
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy [Arxiv] [Github].
In Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), Bangalore, India, 2025.