BibTeX record conf/iros/KimF12

download as .bib file

@inproceedings{DBLP:conf/iros/KimF12,
  author       = {Kangjin Kim and
                  Georgios Fainekos},
  title        = {Approximate solutions for the minimal revision problem of specification
                  automata},
  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
                  2012},
  pages        = {265--271},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IROS.2012.6386215},
  doi          = {10.1109/IROS.2012.6386215},
  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/KimF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}