Ivan talked about conservative abstractions of perception-driven systems at the University of Illinois Urbana-Champaign in the Allerton Conference. The rumor is that these abstractions are too conservative.
Citation:
- Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin.
Conservative Perception Models for Probabilistic Model Checking [Arxiv] [Github] [Slides].
In Proceedings of the Allerton Conference on Communication, Control, and Computing, Urbana, Illinois, 2025. Invited paper.