12 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 4 cited
Embedding Differential Dynamic Logic in PVS
J. Tanner Slagel, Mariano Moscato, Lauren White +3
Differential dynamic logic (dL) is a formal framework for specifying and reasoning about hybrid systems, i.e., dynamical systems that exhibit both continuous and discrete behaviors…
cs.SE2020★ 12 cited
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Aaron Dutle, César Muñoz, Esther Conrad +7
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous op…