Advancing Robust Autonomy in Cyber-Physical Systems

This project enhances the safety of cyber-physical systems such as unmanned aerial vehicles, autonomous vehicles, and smart farming technologies in Australia. It will leverage large language models for generating realistic scenarios of potential hazards and extracting formal models for rigorous testing. This interdisciplinary approach aligns with Australia's goals for national safety and innovation in autonomous systems, addressing key challenges outlined in the national regulatory frameworks for autonomous vehicles and mining. The anticipated outcomes include improved methods for safe autonomous operations, fostering safer commercialisation pathways and bolstering Australia’s global market competitiveness in autonomous technology sectors.