Kangjin Kim, Georgios E. Fainekos. Revision of specification automata under quantitative preferences. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014. pages 5339-5344, IEEE, 2014. [doi]
Abstract is missing.