LOADING

Items where Author is "Sogokon, Andrew"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 2.

Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)

Sogokon, Andrew and Yuksek, Burak and Inalhan, Gökhan and Suri, Neeraj (2023) Specifying Autonomous System Behaviour. CoRR, abs/23.

This list was generated on Thu Apr 24 16:27:18 2025 UTC.