4 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
Kangjin Kim, Georgios Fainekos
We study the problem of revising specifications with preferences for automata based control synthesis problems. In this class of revision problems, the user provides a numerical ra…