Login / Signup
Byron Heersink
ORCID
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 3
Top Topics
Multiple Constraints
Commercial Systems
Formal Verification
Satisfiability Modulo Theories
Top Venues
IEEE Control. Syst. Lett.
Integers
CoRR
ACM Trans. Priv. Secur.
</>
Publications
</>
Byron Heersink
,
Pape M. Sylla
,
Michael A. Warren
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.
IEEE Control. Syst. Lett.
6 (2022)
Byron Heersink
,
Pape M. Sylla
,
Michael A. Warren
Formal verification of octorotor flight envelope using barrier functions and SMT solving.
CoRR
(2021)
Alexander V. Outkin
,
Brandon K. Eames
,
Meghan A. Galiardi
,
Sarah Walsh
,
Eric D. Vugrin
,
Byron Heersink
,
Jacob A. Hobbs
,
Gregory D. Wyss
GPLADD: Quantifying Trust in Government and Commercial Systems A Game-Theoretic Approach.
ACM Trans. Priv. Secur.
22 (3) (2019)
Florin P. Boca
,
Byron Heersink
,
Paul Spiegelhalter
Gap Distribution of Farey Fractions under Some Divisibility Constraints.
Integers
13 (2013)