3 citations · 7 across the 11 of their papers we have counts for
1 paper · 2 filters
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…