TY  - JOUR
AU  - Kuhn, David
AU  - Raunak, M S
AU  - Kacker, Raghu
AU  - Chandrasekaran, Jaganmohan
AU  - Lanus, Erin
AU  - cody, tyler
AU  - Freeman, Laura
C2  - Computer (IEEE Computer)
DA  - 2024-05-02 04:05:00
DO  - https://doi.org/10.1109/MC.2024.3363808
LA  - en
M1  - 57
PB  - Computer (IEEE Computer)
PY  - 2024
TI  - Assured Autonomy through Combinatorial Methods
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=957175
ER  -