Articles with public access mandates - Khalil GhorbalLearn more
Available somewhere: 9
Formal verification of obstacle avoidance and navigation of ground robots
S Mitsch, K Ghorbal, D Vogelbacher, A Platzer
The International Journal of Robotics Research 36 (12), 1312-1340, 2017
Mandates: US National Science Foundation, US Department of Defense, US Department of …
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ...
International Journal on Software Tools for Technology Transfer 19, 717-741, 2017
Mandates: US National Science Foundation
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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: US National Science Foundation
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
Mandates: 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
Mandates: 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
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program