@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":"https://bibbase.org/network/files/pG3rqgMjQD7YDK9mR","dataSources":["QvdbtaigAhR3B2gH3","fFKv7kkLuCZPtfsiH","iio6zGurPy7pYDJ9F","7GgPNiWYdtt4b5kSC","NB9ixES8hSEaR9Gwy","otDTeas5CXZSvBqHe","nAFgNmfG8PMQcD23r","RWAD52BGFcfgL6j7S"],"keywords":[],"search_terms":["formal","methods","trusted","space","autonomy","boon","bane","chien"],"title":"Formal Methods for Trusted Space Autonomy, Boon or Bane?","year":2022}