Login / Signup

Formal Verification of Token Economy Models.

O. LetychevskyVolodymyr PeschanenkoViktor RadchenkoM. PoltoratzkyiP. KovalenkoS. Mogylko
Published in: IEEE ICBC (2019)
Keyphrases
  • formal verification
  • model checking
  • statistical models
  • data sets
  • probabilistic model
  • knowledge acquisition
  • model selection
  • experimental data