@misc{indiciaef0e1afd36150,
  title = {Embedding Differential Dynamic Logic in PVS},
  author = {J. Tanner Slagel and Mariano Moscato and Lauren White and César Muñoz and Swee Balachandran and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20220019093},
  note = {Source identifier: 20220019093}
}