13 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot +1
The classical LTL synthesis problem is purely qualitative: the given LTL specification is realized or not by a reactive system. LTL is not expressive enough to formalize the correc…