Kristina Gogoladze

According to our database, Kristina Gogoladze authored at least 3 papers between 2017 and 2025.

Collaborative distances:

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

2025

Run-time verification of robot-assisted surgery using visual input.

Kristina Gogoladze, Romy C. van Jaarsveld, Natasha Alechina, Ronald L. P. D. de Jong, Yasmina Al Khalil, Gino M. Kuiper, Brian Logan, Jelle P. Ruurda

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

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