Updates

  • 22/10/16 Solutions uploaded
  • 20/08/16 Parallel problems replaced
  • 07/08/16 Parallel problems released
  • 20/06/16 workshop date annouced
  • 13/06/16 Parallel release announced
  • 01/05/16 Problems up

Important Dates:

  • 09/10/16
       RERS workshop at ISoLA
  • 31/05/16
       Release Ranking Details
  • 01/05/16 - 15/09/16
       Challenge Phase
  • 01/09/16 - 15/09/16
       Solution Submission
  • 07/08/16 - 15/09/16
       Release Parallel Problem

Submission

Submission for RERS 2016 problems

Thank you for participating! The submission is now closed. Submissions for the evaluation based ranking can still be submitted by email as a pdf file.


If you have completed all (or some) tasks, we kindly request you to submit your solution in a CSV-style format. Solutions for each of the problems should be specified in the following way:

<no1>,<spec1>,<answer1>
<no2>,<spec2>,<answer2>
...

where

  • no is the problem specification number.
  • spec is the property specification identifier, where number 0 to 99 correspond to the LTL formulae for each problem or error number respectively. Or you can specify directly the LTL expression, or the name of the error label respectively.
  • answer expresses whether or not you believe this error label to be reachable, or the respective LTL property to be satisfied. This may be expressed as true/false, yes/no or 1/0.

Hence, a line in this file for a hypothetical problem 0 might look like this:

0, error_37, true

Please choose for each of the CSV-files a name which clearly identifies the respective problem along with an ID uniquely identifying the solution as yours such as "problemX-.csv". You are free to make one file for each problem or combining all solutions into a global CSV file. If you split your solutions into several files, please provide them as a ZIP or (compressed) TAR archive.