31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
Roderick Bloem, Sven Schewe, Ayrat Khalimov
We reduce synthesis for CTL* properties to synthesis for LTL. In the context of model checking this is impossible - CTL* is more expressive than LTL. Yet, in synthesis we have know…