A symbolic justice violations transition system for unrealizable GR(1) specifications

Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert. A symbolic justice violations transition system for unrealizable GR(1) specifications. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 362-372, ACM, 2017. [doi]

Abstract

Abstract is missing.