External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Approximate solutions for the minimal revision problem of specification automata

Kangjin Kim, Georgios E. Fainekos. Approximate solutions for the minimal revision problem of specification automata. In 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012. pages 265-271, IEEE, 2012. [doi]

Authors

Kangjin Kim

This author has not been identified. Look up 'Kangjin Kim' in Google

Georgios E. Fainekos

This author has not been identified. Look up 'Georgios E. Fainekos' in Google
runs on