A Framework for State-Space Exploration of Java-Based Actor Programs.

Steven Lauterburg Mirco Dotta Darko Marinov Gul A. Agha

Published in: ASE (2009)

Keyphrases

space exploration
lightweight
main contribution
state space
data sets
artificial intelligence
knowledge base
probabilistic model
particle swarm optimization
multi modal