Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.

Shang-Wei Lin, Pao-Ann Hsiung

Browse the full FM paper archive.