Synthesis in pMDPs: A Tale of 1001 Parameters.

Murat Cubuktepe Nils Jansen Sebastian Junges Joost-Pieter Katoen Ufuk Topcu

Published in: ATVA (2018)

Keyphrases

maximum likelihood
parameter estimation
expectation maximization
maximum likelihood estimation
input parameters
parameter selection
data sets
data mining
markov random field
input data
parameter space
parameter settings
measured data
controller synthesis