Byron Heersink

Orcid: 0000-0001-8737-7588

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.
IEEE Control. Syst. Lett., 2022

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

2019
GPLADD: Quantifying Trust in Government and Commercial Systems A Game-Theoretic Approach.
ACM Trans. Priv. Secur., 2019

2013
Gap Distribution of Farey Fractions under Some Divisibility Constraints.
Integers, 2013


  Loading...