Erschienen in: Open Access 02.11.2020 | Original Article A Weakness Measure for GR(1) Formulae verfasst von: Davide G. Cavezza, Dalal Alrajeh, András György Erschienen in: Formal Aspects of Computing | Ausgabe 1/2021 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Optimal and robust controller synthesis using energy timed automata with uncertainty Nächster Artikel Formal analysis of the compact position reporting algorithm download DOWNLOAD print DRUCKEN