Verification of Asynchronous Mobile-Robots in Partially-Known Environments (bibtex)
by Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
Reference:
Verification of Asynchronous Mobile-Robots in Partially-Known EnvironmentsSasha Rubin, Florian Zuleger, Aniello Murano, Benjamin AminofPRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, volume 9387 of Lecture Notes in Computer Science, pages 185-200, 2015, Springer.
Bibtex Entry:
@inproceedings{conf/prima/RubinZMA15,
  author    = {Sasha Rubin and
               Florian Zuleger and
               Aniello Murano and
               Benjamin Aminof},
  title     = {Verification of Asynchronous Mobile-Robots in Partially-Known Environments},
  booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
               International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9387},
  publisher = {Springer},
  pages     = {185--200},
  year      = {2015},
  doi       = {10.1007/978-3-319-25524-8_12}
}
Powered by bibtexbrowser