5 citations · 22 across the 16 of their papers we have counts for
1 paper · 2 filters
Philippe Heim, Rayna Dimitrova
The synthesis of infinite-state reactive systems from temporal logic specifications or infinite-state games has attracted significant attention in recent years, leading to the emer…