A compositional framework for programming stochastically interacting robots

Nils Napp, Eric Klavins. A compositional framework for programming stochastically interacting robots. I. J. Robotic Res., 30(6):713-729, 2011. [doi]

Abstract

Abstract is missing.