Bisimilarity is not Borel.

Pedro Sánchez Terraf

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

markov decision processes
dynamic programming
classification accuracy
linear programming
decision making
supervised learning
graphical models
decision support system
multistage
finite number