Category: News
-
New preprint: stratified neuro-symbolic architecture
Check out our nice and short position paper. The key idea is to intermingle neural components and symbolic knowledge at each level of the autonomy stack. Update: published in FSE’25! Citation:
-
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.
-
New preprint: physically interpretable world models
Our recent preprint develops an architecture and a training method to give latent states physical meaning in the context of trajectory prediction:
-
MANY posters, demos, awards at NELMS IoT conference
—
Congratulations to many students from TEA lab presenting their work and getting recognition!
-
Two surveys: neuro-symbolic AIoT and CPS sustainability
Zhen Lu, Imran Afridi, Hong Jin Kang, Ivan Ruchkin, Xi Zheng. Surveying Neuro-Symbolic Approaches for Reliable Artificial Intelligence of Things [Springer]. In Springer Journal of Reliable Intelligent Environments (JRIE), 2024. Ankica Barišić, Jácome Cunha, Ivan Ruchkin, Ana Moreira, João Araújo, Moharram Challenger, Dušan Savić, Vasco Amaral. Modelling Sustainability in Cyber-Physical Systems: a Systematic Mapping Study [Elsevier]. In Elsevier Sustainable Computing:…
-
Sam, Yuang, Zhenjiang present posters at UF AI Days 2024
—
On October 29, 2024, the three students presented posters about the following papers: Zhenjiang Mao, Dong-You Jhong, Ao Wang, Ivan Ruchkin. Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving [Arxiv] [Slides]. Robot Trust for Symbiotic Societies (RTSS) Workshop (co-located with ICRA 2024), Yokohama, Japan, 2024. Zhenjiang Mao, Siqi Dai, Yuang Geng, Ivan Ruchkin. Zero-shot Safety Prediction…
-
Ivan presents calibrated visual safety prediction at TACPS workshop at ESWEEK
—
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 presents high-dimensional reachability at FM 2024
—
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 presents calibrated safety predictors at L4DC 2024
—
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…