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