• 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 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:



  • 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.