Program
Time | Activity | Moderator |
---|---|---|
Day 1 (May 29th) | ||
08:30-09:30 | Registration | |
09:30-09:50 | Opening Remarks & Welcome Remarks | Min XIE, City Univerity of Hong Kong |
09:50-10:30 | Reliability and Availability Modeling of Complex Systems in Practice Kishor S. TRIVEDI from Duke University |
|
10:30-11:00 | Tea Break | |
11:00-12:30 | Artificial Intuition, Research Portfolios, and Decision Systems Andrea BELZ from University of Southern California |
Yanfu LI, Tsinghua University |
Ensuring Reliability of Autonomous Vehicular Systems and Beyond Jianping WANG from City University of Hong Kong |
||
12:30-13:30 | Lunch | |
13:30-15:30 | System Science and Autonomous AI (AI*) Systems Yingxu WANG from University of Calgary |
Hongbin LIU, Centre of AI and Robotics (CAIR) |
Safe Learning in Autonomous Systems Naira HOVAKIMYAN from University of Illinois at Urbana-Champaign |
||
Adversarial Safety-Critical Scenario Generation for Autonomous Driving Zijian YANG from Xian Jiaotong University |
||
15:30-16:00 | Tea Break | |
16:00-16:40 | Reliability Equivalence Approach for Life Test Design under Randomness and Non-homogeneity Feng-Bin Frank SUN from Tesla Inc |
Joseph SIFAKIS / Min XIE |
16:40â17:40 | Panel Discussion: Autonomous systems â safety and reliability | |
Day 2 (May 30th) | ||
09:00-10:30 | When Evolutionary Computation Meets Trustworthy Artificial Intelligence Xin YAO from Lingnan University |
Qingpei HU, Chinese Academy of Sciences |
Early Detection of Degraded Complex Systems Through Intelligent Self-Healing in Uncertain Situations with Time Delays Hoang PHAM from Rutgers University |
||
10:30-10:50 | Tea Break | |
10:50-12:20 | Combinatorial design-based testing W. Eric WONG from The University of Texas at Dallas |
Huadong MO, University of New South Wales |
Probabilistic Model Checking for Sports Analytics: Decisions Beyond LLM Jin Song DONG from National University of Singapore |
||
12:20-13:20 | Lunch | |
13:20-15:00 | Digital Twins for Complex Systems Ajith PARLIKAD from University of Cambridge |
Jianxi LUO, City Univerity of Hong Kong |
Towards Trustworthiness Assurance of AI Software Systems in the LLM Era Lei MA from University of Tokyo |
||
15:30-17:30 | Panel Discussion: LLM/AI and systems engineering | TBC |
Last modified on 3 October, 2024