Sagar Chaki, Joseph Andrew Giampapa, David Kyle, John P. Lehoczky. Optimizing Robotic Team Performance with Probabilistic Model Checking. In Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald, editors, Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings. Volume 8810 of Lecture Notes in Computer Science, pages 134-145, Springer, 2014. [doi]
@inproceedings{ChakiGKL14, title = {Optimizing Robotic Team Performance with Probabilistic Model Checking}, author = {Sagar Chaki and Joseph Andrew Giampapa and David Kyle and John P. Lehoczky}, year = {2014}, doi = {10.1007/978-3-319-11900-7_12}, url = {http://dx.doi.org/10.1007/978-3-319-11900-7_12}, researchr = {https://researchr.org/publication/ChakiGKL14}, cites = {0}, citedby = {0}, pages = {134-145}, booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings}, editor = {Davide Brugali and Jan F. Broenink and Torsten Kroeger and Bruce A. MacDonald}, volume = {8810}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-11899-4}, }