On the Hardness of Priority Synthesis

Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll

Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pp. 110–117

2011 · doi: 10.1007/978-3-642-22256-6_11

url: http://dx.doi.org/10.1007/978-3-642-22256-6_11