642 followers
#arXiv #cs_LO "The First Reactive Synthesis Competition (SYNTCOMP 2014). (arXiv:1506.08726v3 [cs.LO] UPDATED)" https://t.co/hHkbetMfQr
#arXiv #cs_LO "The First Reactive Synthesis Competition (SYNTCOMP 2014). (arXiv:1506.08726v3 [cs.LO] UPDATED)" https://t.co/hHkbetMfQr
#arXiv #cs_LO "The First Reactive Synthesis Competition (SYNTCOMP 2014). (arXiv:1506.08726v2 [cs.LO] UPDATED)" https://t.co/hHkbetMfQr