TY  - RPRT
TI  - A Temporal Differential Dynamic Logic Formal Embedding
AU  - Lauren M. White
AU  - Laura Titolo
AU  - J. Tanner Slagel
AU  - César Muñoz
UR  - https://ntrs.nasa.gov/citations/20230008347
ID  - 20230008347
ER  -