30 citations · 97 across the 29 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually…