@misc{indiciaeb9dabd866901,
  title = {A Temporal Differential Dynamic Logic Formal Embedding},
  author = {Lauren M. White and Laura Titolo and J. Tanner Slagel and César Muñoz},
  url = {https://ntrs.nasa.gov/citations/20230008347},
  note = {Source identifier: 20230008347}
}