Login / Signup

Towards Formal Evaluation and Verification of Probabilistic Design.

Nian-Ze LeeJie-Hong R. Jiang
Published in: IEEE Trans. Computers (2018)
Keyphrases
  • formal evaluation
  • design process
  • user interface
  • learning systems
  • video games
  • knowledge engineering