Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
J. Tanner Slagel (Langley Research Center Hampton, Virginia, United States) Mariano Moscato (National Institute for Aerospace Technology Madrid, Spain) Lauren White (Langley Research Center Hampton, Virginia, United States) César Muñoz (Langley Research Center Hampton, Virginia, United States) Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States) Aaron Dutle (Langley Research Center Hampton, Virginia, United States) Date Acquired
December 16, 2022
Subject Category
Mathematical and Computer Sciences (General) Meeting Information
Meeting: 18th Logical and Semantic Frameworks with Applications
Location: Rome
Country: IT
Start Date: July 1, 2023
End Date: July 2, 2023
Sponsors: University of Rome Tor Vergata
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
NASA Peer Committee
Keywords
PVSDifferential Dynamic LogicFormal MethodsHybrid Systems