`Travelled to:`

1 × Germany

1 × India

1 × Norway

`Collaborated with:`

K.Ghorbal A.Platzer P.B.Jackson

`Talks about:`

differenti (2) algebra (2) invari (2) hierarchi (1) properti (1) polynomi (1) conjunct (1) continu (1) system (1) hybrid (1)

## Person: Andrew Sogokon

### DBLP: Sogokon:Andrew

### Contributed to:

### Wrote 3 papers:

- FM-2015-SogokonJ #hybrid #liveness #verification
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
- VMCAI-2015-GhorbalSP #algebra #difference #proving #set
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
- SAS-2014-GhorbalSP #algebra #difference #equation #polynomial
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.