@inproceedings{chien_nfm_2022,
	title        = {Formal Methods for Trusted Space Autonomy, Boon or Bane?},
	author       = {Steve Chien},
	year         = 2022,
	month        = {May},
	booktitle    = {NASA Formal Methods Symposium},
	url          = {https://ai.jpl.nasa.gov/public/documents/papers/chien-nfm-2022.pdf},
	clearance    = {CL\#22-1670    URS307382}
}

{"_id":"ed9SyW3ky9beAxoTb","bibbaseid":"chien-formalmethodsfortrustedspaceautonomyboonorbane-2022","author_short":["Chien, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Methods for Trusted Space Autonomy, Boon or Bane?","author":[{"firstnames":["Steve"],"propositions":[],"lastnames":["Chien"],"suffixes":[]}],"year":"2022","month":"May","booktitle":"NASA Formal Methods Symposium","url":"https://ai.jpl.nasa.gov/public/documents/papers/chien-nfm-2022.pdf","clearance":"CL#22-1670 URS307382","bibtex":"@inproceedings{chien_nfm_2022,\n\ttitle = {Formal Methods for Trusted Space Autonomy, Boon or Bane?},\n\tauthor = {Steve Chien},\n\tyear = 2022,\n\tmonth = {May},\n\tbooktitle = {NASA Formal Methods Symposium},\n\turl = {https://ai.jpl.nasa.gov/public/documents/papers/chien-nfm-2022.pdf},\n\tclearance = {CL\\#22-1670 URS307382}\n}\n","author_short":["Chien, S."],"key":"chien_nfm_2022","id":"chien_nfm_2022","bibbaseid":"chien-formalmethodsfortrustedspaceautonomyboonorbane-2022","role":"author","urls":{"Paper":"https://ai.jpl.nasa.gov/public/documents/papers/chien-nfm-2022.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"ai.jpl.nasa.gov/public/publications/jpl_aig.bib","dataSources":["gKzW9rEearQxTm7ht","QvdbtaigAhR3B2gH3","fFKv7kkLuCZPtfsiH"],"keywords":[],"search_terms":["formal","methods","trusted","space","autonomy","boon","bane","chien"],"title":"Formal Methods for Trusted Space Autonomy, Boon or Bane?","year":2022}