Other competitions or benchmarks

In this section other competitions are listed that have methods or rules of possible relevance.

Robotics

• DARPA Urban Challenge

• DRC; DRC Finals rules as of 2 Nov 2014

• 13 Mar 2014 new entry on DARPA website lists several past and current competitions.

• RoboCup 2015 simulation league, http://www.robocup2015.org/show/league/9.html

  • Call for participation 2015, http://sourceforge.net/p/sserver/mailman/message/33336144/
  • About sim league on robocup federation wiki, http://wiki.robocup.org/wiki/Soccer_Simulation_League
  • 2D robocup simulator, http://sourceforge.net/projects/sserver/
  • 3D robocup simulator, named "SimSpark",
    • http://simspark.sourceforge.net/wiki/index.php/Main_Page
    • http://sourceforge.net/projects/simspark/

• F1/10 Autonomous Racing Competition, http://f1tenth.org

Verification

• SAT competition
• Satisfiability Modulo Theories (SMT) Competition

Synthesis

• Syntax-Guided Synthesis Competition
• reactive synthesis competition "SyntComp"

Reinforcement learning

(Also consult section on ML below.)

• http://www.rl-competition.org/
  • RL 2009
  • RL 2013
  • RL 2014

Machine learning and pattern classification

(Also consult section on RL above.)

• The Netflix Prize
• Kaggle competitions
• KDD Cups