C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Smart Home Model Verification with AnimUML (Poster).
Frédéric Jouault
Ciprian Teodorov
Matthias Brun
Published in:
STAF Workshops (2022)
Keyphrases
</>
prior knowledge
smart home
data sets
artificial intelligence
high level
machine learning
genetic algorithm
reinforcement learning
low cost
open source