Andrew Sogokon

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