Byron Heersink

According to our database, Byron Heersink authored at least 4 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

IEEE Control. Syst. Lett., 2022

2021

Formal verification of octorotor flight envelope using barrier functions and SMT solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

CoRR, 2021

2019

GPLADD: Quantifying Trust in Government and Commercial Systems A Game-Theoretic Approach.

Alexander V. Outkin, Brandon K. Eames, Meghan A. Galiardi, Sarah Walsh, Eric D. Vugrin, Byron Heersink, Jacob A. Hobbs, Gregory D. Wyss

ACM Trans. Priv. Secur., 2019

2013

Gap Distribution of Farey Fractions under Some Divisibility Constraints.

Florin P. Boca, Byron Heersink, Paul Spiegelhalter

Integers, 2013