Schedule
Date: Tuesday December 12, 2023
Time: 8:45am to 5:10pm
Location: TBA
8:45am to 9:00am
Initial Remarks
(Prof. Lars Lindemann and Prof. Cristian-Ioan Vasile)
9:00am to 9:35am
Speaker: Dr. Morteza Lahijanian, University of Colorado Boulder
Data-driven Verification and Control Synthesis for Dynamical Systems via Bayesian Reasoning
9:35am to 10:10am
Speaker: Dr. Necmiye Ozay, University of Michigan
Formal methods for Cyber Physical Systems: State of the Art and Future Challenges
10:10am to 10:25am
Break
10:25am to 11:00am
Speaker: Farhad Mehdifar, KTH Royal Institute of Technology
Spatiotemporal logic control for leader-follower multi-agent systems
11:00am to 11:35am
Speaker: Dr. Jyotirmoy Deshmukh, University of Southern California
Logic-based Specifications meet Learning-enabled Control
11:35am to 11:40am
Break
11:40am to 12:00pm
Panel Discussion
Panelists: Lahijanian, Ozay, Dimarogonas, Deshmukh
12:00pm to 1:30pm
Lunch
1:30pm to 2:05pm
Speaker: Dr. Alessandro Abate, University of Oxford
Certified learning, or learning for verification?
2:05pm to 2:40pm
Speaker: Dr. Xiang Yin, Shanghai Jiao Tong University
Formal Verification and Synthesis of Security for Cyber-Physical Systems: Notions, Algorithms and Recent Trends
2:40pm to 3:15pm
Speaker: Dr. Yiannis Kantaros, Washington University St. Louis
Safe Perception-based Temporal Logic Planning in Unknown Semantic Environments
3:15pm to 3:30pm
Break
3:30pm to 4:05pm
Speaker: Dr. Sayan Mitra, University of Illinois at Urbana Champaign
Assuring Safety of Learning-Enabled Systems with Perception Contracts
4:05pm to 4:40pm
Speaker: Dr. Sofie Haesaert, Eindhoven University of Technology
Using data to tackle uncertainty in correct-by-design control synthesis
4:40pm to 4:45pm
Break
4:45pm to 5:05pm
Panel Discussion
Panelists: Abate, Yin, Kantaros, Mitra, Haesaert
5:05pm to 5:10pm
Concluding Remarks
(Prof. Lars Lindemann and Prof. Cristian-Ioan Vasile)