34 citations · 50 across the 7 of their papers we have counts for
9 papers
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…
A Compositional Proof Framework for FRETish Requirements
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou +2
Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear…
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…
Abelian groups yield many large families for the diamond problem
Éva Czabarka, Aaron Dutle, Travis Johnston +1
There is much recent interest in excluded subposets. Given a fixed poset , how many subsets of can found without a copy of realized by the subset relation? The hardest…
On Realizations of a Joint Degree Matrix
Éva Czabarka, Aaron Dutle, Péter Erdös +1
The joint degree matrix of a graph gives the number of edges between vertices of degree i and degree j for every pair (i,j). One can perform restricted swap operations to transform…
Computing Hypermatrix Spectra with the Poisson Product Formula
Joshua Cooper, Aaron Dutle
We compute the spectrum of the "all ones" hypermatrix using the Poisson product formula. This computation includes a complete description of the eigenvalues' multiplicities, a seem…