• 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 (2) »