Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.

Gal Katz, Doron A. Peled

Browse the full TACAS paper archive.