@misc{indiciae04a1d70dc3ba,
  title = {Towards an Implementation of Differential Dynamic Logic in PVS},
  author = {J. Tanner Slagel and César Muñoz and Swee Balachandran and Mariano Moscato and Aaron Dutle and Paolo Masci and Lauren White},
  year = {2022},
  url = {https://ntrs.nasa.gov/citations/20220004443},
  note = {Source identifier: 20220004443}
}