Proceedings Third Workshop on Formal Methods for Autonomous Systems

@article{Farrell2021ProceedingsTW,
  title={Proceedings Third Workshop on Formal Methods for Autonomous Systems},
  author={Marie Farrell and Matt Luckcuck},
  journal={ArXiv},
  year={2021},
  volume={abs/2110.11527}
}
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021), which was held virtually…