Submission for 2024 Workshop (Invitation only)

The content for submission includes: your scheduled talk abstract, your bio and a recent photo. Please submit before 4th Dec 2023 (Anywhere on Earth). Each talk is allocated a one-hour slot, which includes 15 minutes specifically reserved for a Q&A session with the audience.

Please email all your submission files to the co-chair of TACPS, Dr. James (Xi) Zheng at [email protected].

The topic should be related to trustworthy autonomous cyber-physical systems, including but not limited to: 

  • Theories of trustworthy autonomous cyber-physical systems, such as Neuro-symbolic theories, new specification language, new system modelling.
  • Innovative methods for building trustworthy autonomous cyber-physical systems
  • New networking architecture for trustworthy autonomous cyber-physical systems
  • Empirical study of trustworthy autonomous cyber-physical systems
  • Explainable and interpretable machine learning
  • Privacy-preserving machine learning
  • Testing of trustworthy autonomous cyber-physical systems such as safety testing, security testing.
  • Theorem proving of trustworthy autonomous cyber-physical systems
  • Static Analysis of trustworthy autonomous cyber-physical systems
  • Model checking of trustworthy autonomous cyber-physical systems
  • Runtime monitoring and Anomaly Detection of trustworthy autonomous cyber-physical systems
  • Data Labelling algorithms to minimize and reduce labelling errors and costs in trustworthy autonomous cyber-physical systems
  • Fault Tolerance of trustworthy autonomous cyber-physical systems
  • Security Analysis of trustworthy autonomous cyber-physical systems
  • Human-in-the-loop supervision for trustworthy autonomous cyber-physical systems