• Log In
Skip to content
Resilient Cyber-Physical Systems Lab
  • Welcome
  • People
  • Research
  • Publications
  • Teaching
  • Outreach
  • News
  • Videos
  • GitHub

Paper accepted in HSCC 2022

  • Author By yshoukry
  • Publication date January 17, 2022
  • Categories: News

Our paper titled “Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks” is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC) 2022.

Post navigation

Two papers accepted in 2021 IEEE CDCPaper Accepted in NASA Formal Methods Symposium 2022

News

  • Dr. Haitham Khedr, Dr. Wael Fatnassi, and Dr. Ulices Santa Cruz Leal have successfully defended their Ph.D. dissertation.
  • Valen Yamamoto receives the prestigious NSF Graduate Research Fellowship Program (GRFP) award!
  • Valen Yamamoto won the ACM SIGBED Student Research Competition. Ulices Santa Cruz is also a finalist.
  • New $2M NSF Grant from the S&CC Program!
  • Papers accepted in CDC 2023
  • Papers accepted at HSCC and ICCPS (part of CPS-IoT Week)
  • FastBATLLNN is a Category Winner in the VNN-COMP’22!
  • Paper accepted in IEEE L-CSS
  • Paper accepted in AAAI 2023
  • Dr. Xiaowu Sun successfully defended his Ph.D. dissertation

Resilient Cyber-Physical Systems Lab
Room: 4111 Engineering Hall
Department of Electrical Engineering and Computer Science
University of California, Irvine

  • Welcome
  • People
  • Research
  • Publications
  • Teaching
  • Outreach
  • News
  • Videos
  • GitHub