![](https://filelist.tudelft.nl/_processed_/4/6/csm_c3z0d3_b5ce820190.jpg)
K. (Konstantin) Sidorov
K. (Konstantin) Sidorov
Contact
Expertise
Publicaties
-
2024
Paths, Proofs, and Perfection
Developing a Human-Interpretable Proof System for Constrained Shortest Paths
Konstantin Sidorov / Gonçalo Homem de Almeida Correia / Mathijs de Weerdt / Emir Demirović
Nevenwerkzaamheden
-
2024-01-01 - 2024-12-31