TY  - RPRT
TI  - Embedding Differential Dynamic Logic in PVS
AU  - J. Tanner Slagel
AU  - Mariano Moscato
AU  - Lauren White
AU  - Cesar Munoz
AU  - Swee Balachandran
AU  - Aaron Dutle
UR  - https://ntrs.nasa.gov/citations/20230005159
ID  - 20230005159
ER  -