Choosing the Initial State for Online Replanning. - Maximilian Fickert; Ivan Gavran; Ivan Fedotov; Jörg Hoffmann 001; Rupak Majumdar; Wheeler Ruml (AAAI, 2021)

Statistical Model Checking of Common Attack Scenarios on Blockchain. - Ivan Fedotov; Anton Khritankov (SCSS, 2021)

Towards automated verification of multi-party consensus protocols. - Ivan Fedotov; Anton Khritankov; Artem Barger (CoRR, 2021)

Optimizing multi-party agreement protocols. - Ivan Fedotov; Anton Khritankov; Artem Barger (BRAINS, 2022)

Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties. - Ivan Fedotov; Anton Khritankov; Artem Barger (ICSIM, 2022)