Travelled to:1 × Norway
Collaborated with:A.Sogokon
Talks about:properti (1) continu (1) system (1) hybrid (1) formal (1) direct (1) verif (1) dynam (1) live (1)
Person: Paul B. Jackson
DBLP: Jackson:Paul_B=
Contributed to:
2015Wrote 1 papers:
- FM-2015-SogokonJ #hybrid #liveness #verification
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.