A Weakness Measure for GR(1) Formulae
Crossref DOI link: https://doi.org/10.1007/s00165-020-00519-y
Published Print: 2021-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cavezza, Davide G. http://orcid.org/0000-0002-0252-8218
Alrajeh, Dalal
György, András
Funding for this research was provided by:
Imperial College London
Text and Data Mining valid from 2021-01-01
Version of Record valid from 2020-11-02
Article History
Received: 20 July 2019
Revised: 6 August 2020
Accepted: 16 September 2020
First Online: 2 November 2020