Andrew Sogokon

According to our database, Andrew Sogokon authored at least 22 papers between 2014 and 2024.

Collaborative distances:

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

2024

Real Arithmetic in TLAPM.

Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Specifying Autonomous System Behaviour.

Andrew Sogokon, Burak Yuksek, Gökhan Inalhan, Neeraj Suri

CoRR, 2023

2022

Characterizing positively invariant sets: Inductive and topological methods.

Khalil Ghorbal, Andrew Sogokon

J. Symb. Comput., 2022

2021

Pegasus: sound continuous invariant generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

Formal Methods Syst. Des., 2021

2019

A Formal Safety Net for Waypoint-Following in Ground Robots.

Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer

IEEE Robotics Autom. Lett., 2019

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

J. Autom. Reason., 2019

Pegasus: A Framework for Sound Continuous Invariant Generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Vector Barrier Certificates and Comparison Systems.

Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer

Proceedings of the Formal Methods - 22nd International Symposium, 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Operational Models for Piecewise-Smooth Systems.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

ACM Trans. Embed. Comput. Syst., 2017

A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets.

Khalil Ghorbal, Andrew Sogokon, André Platzer

Comput. Lang. Syst. Struct., 2017

Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Direct methods for deductive verification of temporal properties in continuous dynamical systems.

Andrew Sogokon

PhD thesis, 2016

A Method for Invariant Generation for Polynomial Continuous Systems.

Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Decoupling Abstractions of Non-linear Ordinary Differential Equations.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the FM 2016: Formal Methods, 2016

Non-linear Continuous Systems for Safety Verification.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets.

Khalil Ghorbal, Andrew Sogokon, André Platzer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.

Andrew Sogokon, Paul B. Jackson

Proceedings of the FM 2015: Formal Methods, 2015

2014

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.

Khalil Ghorbal, Andrew Sogokon, André Platzer

Proceedings of the Static Analysis - 21st International Symposium, 2014

Verifying Hybrid Systems Involving Transcendental Functions.

Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014