Follow
Andrew Sogokon
Title
Cited by
Cited by
Year
A method for invariant generation for polynomial continuous systems
A Sogokon, K Ghorbal, PB Jackson, A Platzer
International Conference on Verification, Model Checking, and Abstract …, 2015
422015
A formal safety net for waypoint-following in ground robots
R Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019
302019
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
252018
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
K Ghorbal, A Sogokon, A Platzer
Computer Languages, Systems & Structures 47, 19-43, 2017
252017
Non-linear continuous systems for safety verification (benchmark proposal)
A Sogokon, K Ghorbal, TT Johnson
ARCH@ CPSWeek 2016-3rd International Workshop on Applied Verification for …, 2016
172016
Pegasus: Sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
Formal Methods in System Design 58 (1-2), 5-41, 2021
152021
Pegasus: A framework for sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
International Symposium on Formal Methods, 138-157, 2019
152019
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
A Sogokon, PB Jackson
International Symposium on Formal Methods, 514-531, 2015
152015
ARCH-COMP20 category report: Hybrid systems theorem proving
S Mitsch, JJ Huerta y Munive, X Jin, B Zhan, S Wang, N Zhan
ARCH20, 141-161, 2019
122019
Invariance of conjunctions of polynomial equalities for algebraic differential equations
K Ghorbal, A Sogokon, A Platzer
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
102014
A hierarchy of proof rules for checking differential invariance of algebraic sets
K Ghorbal, A Sogokon, A Platzer
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
72015
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
A Sogokon, PB Jackson, TT Johnson
Journal of Automated Reasoning 63 (4), 1005-1029, 2019
62019
Verifying safety and persistence properties of hybrid systems using flowpipes and continuous invariants
A Sogokon, PB Jackson, TT Johnson
NASA Formal Methods Symposium, 194-211, 2017
62017
Operational models for piecewise-smooth systems
A Sogokon, K Ghorbal, TT Johnson
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
52017
Characterizing positively invariant sets: Inductive and topological methods
K Ghorbal, A Sogokon
Journal of Symbolic Computation 113, 1-28, 2022
42022
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
S Mitsch, A Sogokon, YK Tan, A Platzer, H Zhao, X Jin, S Wang, N Zhan
ARCH@ ADHS, 110-127, 2018
42018
Direct methods for deductive verification of temporal properties in continuous dynamical systems
A Sogokon
The University of Edinburgh, 2016
42016
Verifying hybrid systems involving transcendental functions
P Jackson, A Sogokon, J Bridge, L Paulson
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
42014
Decoupling abstractions of non-linear ordinary differential equations
A Sogokon, K Ghorbal, TT Johnson
International Symposium on Formal Methods, 628-644, 2016
12016
Specifying Autonomous System Behaviour
A Sogokon, B Yuksek, G Inalhan, N Suri
arXiv preprint arXiv:2302.10087, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20