GR(1)*: GR(1) Specifications Extended with Existential Guarantees

Lecture Notes in Computer Science - Formal Methods – The Next 30 Years ◽

10.1007/978-3-030-30942-8_7 ◽

2019 ◽

pp. 83-100 ◽

Author(s):

Gal Amram ◽

Shahar Maoz ◽

Or Pistiner

Download Full-text