Login / Signup

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

Steven LauterburgMirco DottaDarko MarinovGul 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