Items where Author is "Sogokon, Andrew"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
Journal Article
Sogokon, Andrew and Yuksek, Burak and Inalhan, Gökhan and Suri, Neeraj (2023) Specifying Autonomous System Behaviour. CoRR, abs/23.
Contribution in Book/Report/Proceedings
Gunasekera, Ovini and Sogokon, Andrew and Gouglidis, Antonios and Suri, Neeraj (2024) Real Arithmetic in TLAPM. In: NASA Formal Methods 2024 :. UNSPECIFIED. (In Press)