12 citations · 43 across the 22 of their papers we have counts for
1 paper · 1 filter
Philippe Heim, Rayna Dimitrova
Infinite-state games provide a framework for the synthesis of reactive systems with unbounded data domains. Solving such games typically relies on computing symbolic fixpoints, par…