Please submit your scheduled talk title, abstract, and bio to tacpschairs@gmail.com. The submission will be reviewed by the four co-chairs and the organizing committee members. If the topic is deemed suitable, we will send you an official invitation. You are required to include ‘[TACPS-OCT]’ in your email subject. Thank you for your support.
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 neurosymbolic theories, new specification language, and 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, and 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