TY  - RPRT
TI  - Formal Methods for Autonomous Systems
AU  - Tichakorn Wongpiromsarn
AU  - Mahsa Ghasemi
AU  - Murat Cubuktepe
AU  - Georgios Bakirtzis
AU  - Steven Carr
AU  - Mustafa O. Karabag
AU  - Cyrus Neary
AU  - Parham Gohari
AU  - Ufuk Topcu
PY  - 2023
DO  - 10.1561/2600000029
UR  - https://arxiv.org/abs/2311.01258
ID  - 2311.01258
ER  -