Synthesis from incompatible specifications
Published in Proceedings of the tenth ACM international conference on Embedded software, 2012
Recommended citation: Pavol {\v{C}}ern{\`y}, Sivakanth Gopi, Thomas Henzinger, Arjun Radhakrishna, Nishant Totla, "Synthesis from incompatible specifications." Proceedings of the tenth ACM international conference on Embedded software, 2012.
Download Paper