TY  - RPRT
TI  - Towards an Implementation of Differential Dynamic Logic in PVS
AU  - J. Tanner Slagel
AU  - César Muñoz
AU  - Swee Balachandran
AU  - Mariano Moscato
AU  - Aaron Dutle
AU  - Paolo Masci
AU  - Lauren White
PY  - 2022
UR  - https://ntrs.nasa.gov/citations/20220004443
ID  - 20220004443
ER  -