Towards Smarter MACE-style Model Finders.

Mikolas Janota Martin Suda

Published in: LPAR (2018)

Keyphrases

mathematical model
formal model
computational model
high level
reinforcement learning
cost function
mobile robot
probabilistic model
database
neural network
social networks
process model
theoretical foundation