Our Approach to Formal Verification of Token Economy Models.
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich
VenueNationalICTERI
Year2019
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/LetychevskyiPPT19 ↗
Browse the full ICTERI paper archive.