USC Formal Methods for Control and Autonomous Systems Reading Group

Organizer: Yiqi (Nick) Zhao([email protected]), Chenyu Zhou([email protected])

Faculty Organizer: Lars Lindermann([email protected]), Jyotirmoy Deshmukh([email protected])

Introduction

The purpose of the reading group is to foster research discussion in the area of formal verification and control of autonomous systems with techniques of statistics and optimization, etc.

1. Theory of Formal Methods:

2. Symbolic Reasoning and Safety of Neural Networks:

3. Formal Methods for Dynamical Systems:

The list above is tentative and is subject to change based on everyone's interest. Each week, we will focus on one/a portion of a literature. We will have one moderator who leads through the paper, and we recommend everyone interested in the topic to read through the corresponding paper prior to the reading group. Optionally, we can also include presentations.

Previous Content:

2024 Spring

  1. Statistical Model Checking by Yiqi (Nick) Zhao
  2. Introduction to Abstract Interpretation in Neural Network Verification by Jacqueline Mitchell

How to Participate

We provide hybrid(onsite at USC UPC Campus + Zoom) participation for our reading group, and welcome students from USC and other institutes working on related area to join us!

If you want to join, please send an email to Nick or Chenyu including your personal information. After checking your information, we will add you to the mail list.