Synthesis from incompatible specifications

Open Webpage

Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla

Published: 2012, Last Modified: 27 Apr 2025EMSOFT 2012EveryoneRevisionsBibTeXCC BY-SA 4.0