Formal Verification of Termination Criteria for First-Order Recursive Functions
Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Published in Journal of automated reasoning (01.12.2023)
Published in Journal of automated reasoning (01.12.2023)
Get full text
Journal Article
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Smith, Andrew P., Munoz, Cesar A., Narkawicz, Anthony J., Markevicius, Mantas
Published in 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2015)
Published in 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2015)
Get full text
Conference Proceeding
Software Validation via Model Animation
Dutle, Aaron M., Muñoz, César A., Narkawicz, Anthony J., Butler, Ricky W.
Published in Tests and Proofs (2015)
Published in Tests and Proofs (2015)
Get full text
Book Chapter
Coordination Logic for Repulsive Resolution Maneuvers
Narkawicz, Anthony J, Munoz, Cesar A, Dutle, Aaron M
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (13.06.2016)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (13.06.2016)
Conference Proceeding
An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers
Narkawicz, Anthony J, Munoz, Cesar A, Hagen, George
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (16.06.2014)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (16.06.2014)
Conference Proceeding
Software Validation via Model Animation
Dutle, Aaron M, Munoz, Cesar A, Narkawicz, Anthony J, Butler, Ricky W
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.07.2015)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (22.07.2015)
Conference Proceeding
Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions
Upchurch, Jason M, Munoz, Cesar A, Narkawicz, Anthony J, Consiglio, Maria C, Chamberlain, James P
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (23.06.2015)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (23.06.2015)
Conference Proceeding
Assured geo-containment system for unmanned aircraft
Quach, Cuong C, Young, Steven D, Hayhurst, Kelly J, Smalling, Kyle M, Narkawicz, Anthony J, Dill, Evan T
Year of Publication 26.11.2019
Get full text
Year of Publication 26.11.2019
Patent
Assured Geo-Containment System for Unmanned Aircraft
Dill Evan T, Narkawicz Anthony J, Smalling Kyle M, Quach Cuong C, Young Steven D, Hayhurst Kelly J
Year of Publication 06.07.2017
Get full text
Year of Publication 06.07.2017
Patent