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:

• Temporal Logic and Timed and Hybrid Automata
• Statistical Model Checking and Probabilistic Verification
• Propositional and First-order logic and Solvers
• Interactive/Automated Theorem Provers

2. Symbolic Reasoning and Safety of Neural Networks:

• Neurosymbolic Approaches
• Neural Network Verification and Input-output properties
• Statistical and Optimization Methods for Uncertainty Quantification
• Learning Theory

3. Formal Methods for Dynamical Systems:

• Control Theory and Formal Control Synthesis
• Formal Verification for Dynamical Systems
• Formal Methods for Multi-Agent 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.