• 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

• 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

• 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

View all (3) »