12 citations · 29 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Towards blockchain-based robonomics: autonomous agents behavior validation
Konstantin Danilov, Ruslan Rezin, Alexander Kolotov +1
The decentralized trading market approach, where both autonomous agents and people can consume and produce services expanding own opportunities to reach goals, looks very promising…
cs.SE2017★ 12 cited
Model Checking in multiplayer games development
Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara +1
Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible software, and reliabilit…