Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.

Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni

Browse the full SSS paper archive.