1 citations · 1 across the 1 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…