Category: Conference
-
Jordan presents V&V for vision-based systems at ATVA
—
Jordan Peper went all the way to Bengaluru, India, to present our work (in collaboration with UIUC) on unified verification and validation of vision-based autonomy at the International Symposium on Automated Technology for Verification and Analysis (ATVA). Allegedly, this is a hot problem, but the abstraction is quite complex. That’s what it takes — for…
-
IROS showcase: world models, image repair, data cleaning
—
Ivan went all the way to Hangzhou, China, to present several research works on world models, image repair, and data cleaning. Here are the paper citations on which these presentations were based:
-
Trevor and Jordan win student research awards at ESWEEK
—
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:
-
Ivan presents conservative perception abstractions at Allerton
—
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:
-
Ivan talks about conformal reachability at CAV
—
Ivan went all the way to Croatia to tell people how to put conformal prediction in a closed loop at the International Conference on Computer-Aided Verification (CAV). Doing so would let you verify autonomous systems with neural networks of any size (yes, even a VLA model like RT-2!). The decisive question is, to apply conformal prediction at…
-
Ivan presents principles of world modeling at NeuS 2025
—
Ivan revisited his old grazing grounds in Philly to present 4 principles for making world models more physically grounded. There was an intense discussion of whether purely symbolic simulators should count as generative world models. Citation: In the meantime, the RPI collaborators Thomas and Rado presented a joint work on state-based conformal prediction. Citation:
-
Jordan & Ivan present world models at ICRA 2025
—
To the audience’s excitement, Jordan and Ivan presented the lab’s work on principles of physically interpretable work models in two capacities: Citation:
-
Jordan and Ivan present at CPS-IoT Week 2025
—
Several events transpired at the CPS-IoT Week in Irvine, CA: Jordan presented his poster (pictured) on probabilistic verification & validation at HSCC. Ivan presented his collaborative work on imprecise neural networks at HSCC. Ivan chaired the ICCPS poster/demo session and a couple of paper sessions, and also judged posters in the PhD forum.
-
Ivan co-chairs the poster/demo session at ICCPS 2025
—
The International Conference on Cyber-Physical Systems (ICCPS) 2025 is seeking poster and demo submissions for its 16th iteration, in Irvine, CA. Details can be found here.
-
Ivan co-chairs the poster/demo session at ICCPS 2025
—
The International Conference on Cyber-Physical Systems (ICCPS) 2025 is seeking poster and demo submissions for its 16th iteration, in Irvine, CA. Details can be found here.