TY  - RPRT
TI  - Embedding Differential Dynamic Logic in PVS
AU  - J. Tanner Slagel
AU  - Mariano Moscato
AU  - Lauren White
AU  - César Muñoz
AU  - Swee Balachandran
AU  - Aaron Dutle
UR  - https://ntrs.nasa.gov/citations/20220019093
ID  - 20220019093
ER  -