@misc{indiciae6f5eb5b95236,
  title = {Stochastic Verification by Analysis for Autonomous Systems Management Architecture (ASMA)},
  author = {Pavan Rajagopal and James B Dabney and Julia M Badger},
  url = {https://ntrs.nasa.gov/citations/20240004187},
  note = {Source identifier: 20240004187}
}