Andrew Sogokon

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 20

Top Venues

CoRR

VMCAI

NFM

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri
Real Arithmetic in TLAPM. NFM (2024)
Andrew Sogokon, Burak Yuksek, Gökhan Inalhan, Neeraj Suri
Specifying Autonomous System Behaviour. CoRR (2023)
Khalil Ghorbal, Andrew Sogokon
Characterizing positively invariant sets: Inductive and topological methods. J. Symb. Comput. 113 (2022)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58 (1-2) (2021)
Khalil Ghorbal, Andrew Sogokon
Characterizing Positively Invariant Sets: Inductive and Topological Methods. CoRR (2020)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: Sound Continuous Invariant Generation. CoRR (2020)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4 (3) (2019)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR (2019)
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants. J. Autom. Reason. 63 (4) (2019)
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Pegasus: A Framework for Sound Continuous Invariant Generation. FM (2019)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
Vector Barrier Certificates and Comparison Systems. FM (2018)
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2018)
Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. NFM (2017)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Operational Models for Piecewise-Smooth Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Khalil Ghorbal, Andrew Sogokon, André Platzer
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Comput. Lang. Syst. Struct. 47 (2017)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Non-linear Continuous Systems for Safety Verification. ARCH@CPSWeek (2016)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Decoupling Abstractions of Non-linear Ordinary Differential Equations. FM (2016)
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
A Method for Invariant Generation for Polynomial Continuous Systems. VMCAI (2016)
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
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Khalil Ghorbal, Andrew Sogokon, André Platzer
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. VMCAI (2015)
Andrew Sogokon, Paul B. Jackson
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. FM (2015)
Paul B. Jackson, Andrew Sogokon, James P. Bridge, Lawrence C. Paulson
Verifying Hybrid Systems Involving Transcendental Functions. NASA Formal Methods (2014)
Khalil Ghorbal, Andrew Sogokon, André Platzer
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. SAS (2014)

Andrew Sogokon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew Sogokon