Sample-Guided Automated Synthesis for CCSL Specifications.

Ming Hu, Tongquan Wei, Min Zhang, Frdric Mallet, Mingsong Chen

Browse the full DAC paper archive.