A Model Checkable UML Soccer Player.

Valentin Besnard Ciprian Teodorov Frédéric Jouault Matthias Brun Philippe Dhaussy

Published in: MoDELS (Companion) (2019)

Keyphrases

computational model
database
metamodel
probabilistic model
genetic algorithm
similarity measure
reinforcement learning
probability distribution
management system
object oriented
software engineering
theoretical analysis
mathematical model
experimental data
formal model