Link Details

Link 1204107 thumbnail
User 448255 avatar

By dotCore
via spark-2014.org
Submitted: Aug 27 2014 / 20:11

Researchers Piotr Trojanek and Kerstin Eder from University of Bristol have worked since 2012 on re-implementing well-known navigation algorithms for robots in SPARK, and on verifying that this implementation is free from run-time errors. They publish the results of their work in the major robotics conference IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014) this coming September. See their article attached.
  • 2
  • 0
  • 41
  • 20

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Upvoters (2)



Downvoters (0)



    Apache Hadoop
    Written by: Piotr Krewski
    Featured Refcardz: Top Refcardz:
    1. Play
    2. Akka
    3. Design Patterns
    4. OO JS
    5. Cont. Delivery
    1. Play
    2. Java Performance
    3. Akka
    4. REST
    5. Java