Formal Verification of Token Economy Models. - O. Letychevsky; Volodymyr Peschanenko; Viktor Radchenko; M. Poltoratzkyi; P. Kovalenko; S. Mogylko (IEEE ICBC, 2019)