Performance heuristics for GR(1) synthesis and related algorithms
Crossref DOI link: https://doi.org/10.1007/s00236-019-00351-9
Published Online: 2019-12-05
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Firman, Elizabeth
Maoz, Shahar http://orcid.org/0000-0002-4022-5349
Ringert, Jan Oliver
Funding for this research was provided by:
European Research Council (638049)
Text and Data Mining valid from 2019-12-05
Version of Record valid from 2019-12-05
Article History
Received: 15 January 2019
Accepted: 13 November 2019
First Online: 5 December 2019