Yuang Geng presented his work on reachability for vision-based neural-network controllers at the 26th International Symposium on Formal Methods (FM). Reportedly, the attendees are curious about the mapping between states and images.
Citation and further materials:
- Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin.
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers [Arxiv] [Springer] [Github] [Poster 1] [Poster 2] [Slides] [Demo (w/ subs)] [Demo (w/o subs)] [Talk].
In Proceedings of the International Symposium on Formal Methods (FM), Milan, Italy, 2024.