Kristina Gogoladze

According to our database, Kristina Gogoladze authored at least 2 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Run-time Monitoring for Robot-Assisted Surgery.

Kristina Gogoladze, Natasha Alechina, Zhaoyang Jacopo Hu, Haozheng Xu, Romy C. van Jaarsveld, Jelle P. Ruurda

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

2017

An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017