Sign in
Our Approach to Formal Verification of Token Economy Models.
Oleksandr A. Letychevskyi
Volodymyr Peschanenko
Maksym Poltoratskiy
Yulia 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