@article{1275281,
  author = {David Kuhn and M S Raunak and Raghu Kacker and Jaganmohan Chandrasekaran and Erin Lanus and tyler cody and Laura Freeman},
  title = {Assured Autonomy through Combinatorial Methods},
  year = {2024},
  number = {57},
  month = {2024-05-02 04:05:00},
  publisher = {Computer (IEEE Computer)},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=957175},
  doi = {https://doi.org/10.1109/MC.2024.3363808},
  language = {en},
}