Optimizing Robotic Team Performance with Probabilistic Model Checking [chapter]

Sagar Chaki, Joseph Giampapa, David Kyle, John Lehoczky
2014 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-11900-7_12 fatcat:azqtxavwjzcx7i2vmeu3o5mvmq