Towards sampling and simulation-based analysis of featured weighted automata.

Maxime Cordy Axel Legay Sami Lazreg Philippe Collet

Published in: FormaliSE@ICSE (2019)

Keyphrases

data analysis
statistical analysis
real time
probability distribution
weighted sum
decision making
reinforcement learning
sample size