18
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Analysing robot swarm behaviour via probabilistic model checking

      , ,
      Robotics and Autonomous Systems
      Elsevier BV

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          Robotics and Autonomous Systems
          Robotics and Autonomous Systems
          Elsevier BV
          09218890
          February 2012
          February 2012
          : 60
          : 2
          : 199-213
          Article
          10.1016/j.robot.2011.10.005
          8a6ae182-5a2e-4fcb-b962-1170ea106493
          © 2012

          http://www.elsevier.com/tdm/userlicense/1.0/

          History

          Comments

          Comment on this article