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