@misc{indiciae1becd9819397,
  title = {Formal Methods for Autonomous Systems},
  author = {Tichakorn Wongpiromsarn and Mahsa Ghasemi and Murat Cubuktepe and Georgios Bakirtzis and Steven Carr and Mustafa O. Karabag and Cyrus Neary and Parham Gohari and Ufuk Topcu},
  year = {2023},
  doi = {10.1561/2600000029},
  url = {https://arxiv.org/abs/2311.01258},
  note = {Source identifier: 2311.01258}
}