GR(1) synthesis for LTL specification patterns

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 ◽

10.1145/2786805.2786824 ◽

2015 ◽

Author(s):

Shahar Maoz ◽

Jan Oliver Ringert

Download Full-text