@misc{indiciaec5c57b1b0c5a,
  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},
  url = {https://ntrs.nasa.gov/citations/20220009052},
  note = {Source identifier: 20220009052}
}