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]
Abstract is missing.