Cited By
View all- Cavezza DAlrajeh DGyörgy A(2018)A Weakness Measure for GR(1) FormulaeFormal Methods10.1007/978-3-319-95582-7_7(110-128)Online publication date: 12-Jul-2018
- Hagihara SUeno ATomita TShimakawa MYonezaki N(2016)Simple synthesis of reactive systems with tolerance for unexpected environmental behaviorProceedings of the 4th FME Workshop on Formal Methods in Software Engineering10.1145/2897667.2897672(15-21)Online publication date: 14-May-2016