Andrew Sogokon - Citegraph

Author Info

Name	Affiliation	Papers
ANDREW SOGOKON	Univ Edinburgh, Sch Informat, Edinburgh EH8 9YL, Midlothian, Scotland	17
Collaborators	Citations	PageRank
18	19	6.16
Referers	Referees	References
24	227	246

Search Limit

100227

Publications (17 rows)

Collaborators (18 rows)

Referers (24 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Characterizing positively invariant sets: Inductive and topological methods	0	0.34	2022
Pegasus: sound continuous invariant generation	0	0.34	2021
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants	0	0.34	2019
Blackbox End-to-End Verification of Ground Robot Safety and Liveness.	0	0.34	2019
A Formal Safety Net for Waypoint-Following in Ground Robots.	0	0.34	2019
Pegasus - A Framework for Sound Continuous Invariant Generation.	0	0.34	2019
Vector Barrier Certificates and Comparison Systems.	1	0.37	2018
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.	0	0.34	2018
Operational Models for Piecewise-Smooth Systems.	0	0.34	2017
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.	0	0.34	2017
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets	8	0.59	2017
Non-linear Continuous Systems for Safety Verification.	0	0.34	2016
Decoupling Abstractions of Non-linear Ordinary Differential Equations.	0	0.34	2016
A Hierarchy Of Proof Rules For Checking Differential Invariance Of Algebraic Sets	4	0.40	2015
Direct formal verification of liveness properties in continuous and hybrid dynamical systems	3	0.37	2015
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.	3	0.39	2014
Verifying Hybrid Systems Involving Transcendental Functions.	0	0.34	2014

1