11 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 11 cited
Statistical Model Checking of Common Attack Scenarios on Blockchain
Ivan Fedotov, Anton Khritankov
Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the his…
cs.LG2021★ 9 cited
Analysis of hidden feedback loops in continuous machine learning systems
Anton Khritankov
In this concept paper, we discuss intricacies of specifying and verifying the quality of continuous and lifelong learning artificial intelligence systems as they interact with and…