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

Gal Amram, Shahar Maoz, Or Pistiner. GR(1)*: GR(1) Specifications Extended with Existential Guarantees. In Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 11800 of Lecture Notes in Computer Science, pages 83-100, Springer, 2019. [doi]

Authors

Gal Amram

This author has not been identified. Look up 'Gal Amram' in Google

Shahar Maoz

This author has not been identified. Look up 'Shahar Maoz' in Google

Or Pistiner

This author has not been identified. Look up 'Or Pistiner' in Google