4 citations · 10 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
eess.SY2014
On the Minimal Revision Problem of Specification Automata
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using au…
cs.FL2014
Revision of Specification Automata under Quantitative Preferences
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…