A state space tool for concurrent system models expressed in C++.

Published in: SPLST (2015)

Keyphrases

state space
heuristic search
statistical models
database
dynamic programming
probabilistic model
data sets
learning algorithm
model selection
machine learning algorithms
markov decision processes
neural network model
classification models
accurate models
modeling tool