Call for Papers: ACC Workshop on Formal Verification of Control Systems with Neural Network Components

Call for papers for the ACC Workshop on Formal Verification of Control Systems with Neural Network Components, with submissions due April 7th.

We invite submissions to the Workshop on Formal Verification of Control Systems with Neural Network Components (VNNCS), part of the ACC in Denver, CO, on July 7th.

Confirmed speakers include Dr. Jonathan DeCastro, Prof. Huan Zhang, Prof. Saber Jafarpour, and Prof. Lars Lindemann.

Submissions are due April 7th, with notification of acceptance by May 15th. Accepted papers will have the opportunity for presentation and/or poster showcase.

For submission guidelines and further details, please visit our workshop website: https://sites.google.com/view/wfvnnc/home

Submit your papers through EasyChair: https://easychair.org/cfp/vnncs00

• Verification of neural systems
• Control barrier functions
• Reachability analysis
• Contraction theory
• Temporal logics

Tags: Formal Verification, Control Systems, Neural Network Components, ACC Workshop, VNNCS, Research, Academia, Industry