Category: Talk

​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 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: 

To the audience’s excitement, Jordan and Ivan presented the lab’s work on principles of physically interpretable work models in two capacities:  Citation: 

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 gave an invited talk “How Safe Will I Be Given What I See? Calibrated Visual Safety Chance Prediction with (Foundation) World Models”. The discussion was very active and generated sufficient questions for the rest of Zhenjiang’s PhD.  Relevant links:  Talk page Workshop page Conference page Slides Talk abstract: In safety-critical autonomous systems, safety prediction…

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: 

Zhenjiang Mao presented his work on learning-enabled safety prediction (poster, paper) at the 6th Annual Conference on Learning for Decision and Control (L4DC 2024) in Oxford, UK. Reportedly, the attendees like math more than he does.  Citation:  Zhenjiang Mao, Carson Sobolewski, Ivan Ruchkin. How Safe Am I Given What I See? Calibrated Prediction of Safety…