Using Genetic Algorithms and Model Checking for P Systems Automatic Design

Cristina Tudose, Raluca Lefticaru, Florentin Ipate. Using Genetic Algorithms and Model Checking for P Systems Automatic Design. In David Alejandro Pelta, Natalio Krasnogor, Dan Dumitrescu, Camelia Chira, Rodica Ioana Lung, editors, Nature Inspired Cooperative Strategies for Optimization, NICSO 2011, Cluj-Napoca, Romania, October 20-22, 2011. Volume 387 of Studies in Computational Intelligence, pages 285-302, Springer, 2011. [doi]

Authors

Cristina Tudose

This author has not been identified. Look up 'Cristina Tudose' in Google

Raluca Lefticaru

This author has not been identified. Look up 'Raluca Lefticaru' in Google

Florentin Ipate

This author has not been identified. Look up 'Florentin Ipate' in Google