Wongpiromsarn, Tichakorn, Ghasemi, Mahsa, Cubuktepe, Murat, Bakirtzis, Georgios, Carr, Steven, Karabag, Mustafa O., Neary, Cyrus, Gohari, Parham, and Topcu, Ufuk. Formal Methods for Autonomous Systems. Retrieved from https://par.nsf.gov/biblio/10472544. Foundations and Trends® in Systems and Control 10.3-4 Web. doi:10.1561/2600000029.

Wongpiromsarn, Tichakorn, Ghasemi, Mahsa, Cubuktepe, Murat, Bakirtzis, Georgios, Carr, Steven, Karabag, Mustafa O., Neary, Cyrus, Gohari, Parham, & Topcu, Ufuk. Formal Methods for Autonomous Systems. Foundations and Trends® in Systems and Control, 10 (3-4). Retrieved from https://par.nsf.gov/biblio/10472544. https://doi.org/10.1561/2600000029

Wongpiromsarn, Tichakorn, Ghasemi, Mahsa, Cubuktepe, Murat, Bakirtzis, Georgios, Carr, Steven, Karabag, Mustafa O., Neary, Cyrus, Gohari, Parham, and Topcu, Ufuk. "Formal Methods for Autonomous Systems". Foundations and Trends® in Systems and Control 10 (3-4). Country unknown/Code not available: Now Publishers Inc.. https://doi.org/10.1561/2600000029. https://par.nsf.gov/biblio/10472544.

@article{osti_10472544,
place = {Country unknown/Code not available}, title = {Formal Methods for Autonomous Systems}, url = {https://par.nsf.gov/biblio/10472544}, DOI = {10.1561/2600000029}, abstractNote = {}, journal = {Foundations and Trends® in Systems and Control}, volume = {10}, number = {3-4}, publisher = {Now Publishers Inc.}, author = {Wongpiromsarn, Tichakorn and Ghasemi, Mahsa and Cubuktepe, Murat and Bakirtzis, Georgios and Carr, Steven and Karabag, Mustafa O. and Neary, Cyrus and Gohari, Parham and Topcu, Ufuk}, }