Author of the publication

Unmanned aircraft systems in the national airspace system: a formal methods perspective.

, , , and . ACM SIGLOG News, 3 (3): 67-76 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Software Validation via Model Animation., , , and . TAP, volume 9154 of Lecture Notes in Computer Science, page 92-108. Springer, (2015)Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems., , and . J. Autom. Reason., 54 (4): 285-326 (2015)Bounding the Range of a Rational Function over a box., , , and . Reliab. Comput., (2012)The MINERVA Software Development Process., , and . AFM@NFM, volume 5 of Kalpa Publications in Computing, page 93-108. EasyChair, (2017)Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories., and . Reliab. Comput., (2012)Formalization of Bernstein Polynomials and Applications to Global Optimization., and . J. Autom. Reason., 51 (2): 151-196 (2013)Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft., and . NFM, volume 9690 of Lecture Notes in Computer Science, page 221-226. Springer, (2016)A Formally Verified Generic Branching Algorithm for Global Optimization., and . VSTTE, volume 8164 of Lecture Notes in Computer Science, page 326-343. Springer, (2013)Formalizing Probabilistic Safety Claims., , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 162-176. Springer, (2011)Selected extended papers of NFM 2018., , and . Innov. Syst. Softw. Eng., 15 (3-4): 167-168 (2019)