Verifying Hybrid Systems Involving Transcendental Functions. - Paul B. Jackson; Andrew Sogokon; James P. Bridge; Lawrence C. Paulson (NASA Formal Methods, 2014)

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. - Khalil Ghorbal; Andrew Sogokon; André Platzer (SAS, 2014)

Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. - Andrew Sogokon; Paul B. Jackson (FM, 2015)

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. - Khalil Ghorbal; Andrew Sogokon; André Platzer (VMCAI, 2015)

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 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Non-linear Continuous Systems for Safety Verification. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (ARCH@CPSWeek, 2016)

Decoupling Abstractions of Non-linear Ordinary Differential Equations. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (FM, 2016)

A Method for Invariant Generation for Polynomial Continuous Systems. - Andrew Sogokon; Khalil Ghorbal; Paul B. Jackson; André Platzer (VMCAI, 2016)

Direct methods for deductive verification of temporal properties in continuous dynamical systems. - Andrew Sogokon (2016)

Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. - Andrew Sogokon; Paul B. Jackson; Taylor T. Johnson (NFM, 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)

Operational Models for Piecewise-Smooth Systems. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (ACM Trans. Embed. Comput. Syst., 2017)

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; André Platzer; Hengjun Zhao; Xiangyu Jin; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2018)

Vector Barrier Certificates and Comparison Systems. - Andrew Sogokon; Khalil Ghorbal; Yong Kiam Tan; André Platzer (FM, 2018)

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; Xiangyu Jin; Bohua Zhan; Shuling Wang 003; Naijun Zhan (ARCH@CPSIoTWeek, 2019)

Pegasus: A Framework for Sound Continuous Invariant Generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (FM, 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)

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)

Pegasus: sound continuous invariant generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (Formal Methods Syst. Des., 2021)

Characterizing positively invariant sets: Inductive and topological methods. - Khalil Ghorbal; Andrew Sogokon (J. Symb. Comput., 2022)

Specifying Autonomous System Behaviour. - Andrew Sogokon; Burak Yuksek; Gökhan Inalhan; Neeraj Suri (CoRR, 2023)

Real Arithmetic in TLAPM. - Ovini V. W. Gunasekera; Andrew Sogokon; Antonios Gouglidis; Neeraj Suri (NFM, 2024)