@misc{indiciaeb8eb559404ec,
  title = {Embedding Differential Dynamic Logic in PVS},
  author = {J. Tanner Slagel and Mariano Moscato and Lauren White and Cesar Munoz and Swee Balachandran and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20230005159},
  note = {Source identifier: 20230005159}
}