Home > Research > Researchers > Dr Andrew Sogokon > Publications

Research

Dr Andrew Sogokon

Lecturer in Security and Protection Science

1 - 3 out of 3Page size: 100
RSS feed of this list
Sort by: Title
  1. Published

    Characterizing positively invariant sets: Inductive and topological methods

    Ghorbal, K. & Sogokon, A., 30/11/2022, In: Journal of Symbolic Computation. 113, p. 1-28 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Forthcoming

    Real Arithmetic in TLAPM

    Gunasekera, O., Sogokon, A., Gouglidis, A. & Suri, N., 21/02/2024, (Accepted/In press) NASA Formal Methods 2024.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Specifying Autonomous System Behaviour

    Sogokon, A., Yuksek, B., Inalhan, G. & Suri, N., 2023, In: CoRR. abs/2302.10087

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Back to top