CORAL: Solving Complex Constraints for Symbolic PathFinder.

Matheus Souza Mateus Borges Marcelo d'Amorim Corina S. Pasareanu

Published in: NASA Formal Methods (2011)

Keyphrases

solving complex
problems involving
intelligent optimization
image quality
symbolic representation
image sequences
genetic programming