Login / Signup
Sequential decision problems, dependent types and generic solutions.
Nicola Botta
Patrik Jansson
Cezar Ionescu
David R. Christiansen
Edwin C. Brady
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
data mining
optimal solution
machine learning
decision trees
learning environment
support vector
state space