Andrew Sogokon

Available identifiers

zbMath Open sogokon.andrewMaRDI QIDQ681338

List of research outcomes

Publication	Date of Publication	Type
Pegasus: a framework for sound continuous invariant generation	2024-03-14	Paper
Pegasus: sound continuous invariant generation	2022-06-20	Paper
Characterizing positively invariant sets: inductive and topological methods	2022-05-05	Paper
Vector barrier certificates and comparison systems	2021-05-04	Paper
Decoupling abstractions of non-linear ordinary differential equations	2020-01-03	Paper
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems	2019-12-19	Paper
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants	2019-10-25	Paper
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets	2018-01-30	Paper
A Method for Invariant Generation for Polynomial Continuous Systems	2016-03-23	Paper
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets	2015-02-04	Paper

Research outcomes over time

This page was built for person: Andrew Sogokon