Cikkek nyilvánosan hozzáférhető megbízással - Andrew SogokonTovábbi információ
Valahol hozzáférhető: 15
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
Megbízások: UK Engineering and Physical Sciences Research Council
Vector barrier certificates and comparison systems
A Sogokon, K Ghorbal, YK Tan, A Platzer
International Symposium on Formal Methods, 418-437, 2018
Megbízások: US National Science Foundation, US Department of Defense, A*Star, Singapore
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
Megbízások: US National Science Foundation, US Department of Defense, A*Star, Singapore
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
Megbízások: US National Science Foundation, US Department of Defense, UK Engineering and …
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
Megbízások: US National Science Foundation
Pegasus: Sound continuous invariant generation
A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer
Formal Methods in System Design 58 (1), 5-41, 2021
Megbízások: US National Science Foundation, US Department of Defense, A*Star, Singapore
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
Megbízások: US National Science Foundation, US Department of Defense, A*Star, Singapore
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
A Sogokon, PB Jackson
International Symposium on Formal Methods, 514-531, 2015
Megbízások: UK Engineering and Physical Sciences Research Council
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
Megbízások: UK Engineering and Physical Sciences Research Council
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
Megbízások: UK Engineering and Physical Sciences Research Council
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
Megbízások: US National Science Foundation, US Department of Defense, UK Engineering and …
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
Megbízások: US National Science Foundation, US Department of Defense, UK Engineering and …
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
Megbízások: UK Engineering and Physical Sciences Research Council
Operational models for piecewise-smooth systems
A Sogokon, K Ghorbal, TT Johnson
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
Megbízások: US Department of Defense
Real Arithmetic in TLAPM
OVW Gunasekera, A Sogokon, A Gouglidis, N Suri
NASA Formal Methods Symposium, 136-143, 2024
Megbízások: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.