Login / Signup

Our Approach to Formal Verification of Token Economy Models.

Oleksandr A. LetychevskyiVolodymyr PeschanenkoMaksym PoltoratskiyYulia Tarasich
Published in: ICTERI (Revised Selected Papers) (2019)
Keyphrases
  • formal verification
  • model checking
  • neural network
  • machine learning
  • complex systems
  • statistical models
  • classification models
  • low carbon