• Oct. 2nd, 2020:
       Parallel problems released
  • Sept 8th, 2020:
       Submission dates changed    (early October, see below)
  • July 27th, 2020:
       Sequential challenge    problems released. Parallel    problems will follow soon.
  • July 17th, 2020:
       Submission dates changed    (August → September)
  • May 18th, 2020:
       Sequential training problems    released
  • May 5th, 2020:
       Important dates announced

Important Dates:

  • Nov. 26th, 2020:
       RERS event (held virtually)
  • Nov. 15th, 2020:
       Submission, parallel tracks
  • Oct. 9th, 2020:
       Final submission, sequential
  • Oct. 2nd, 2020:
       Initial submission, sequential
  • Oct. 2nd, 2020:
       Parallel problems
  • July 27th, 2020:
       Sequential problems
  • May 18th, 2020:
       Training problems

Parallel Problems (Overview)

This page serves as a menu concerning the parallel problems of the RERS Challenge 2020.
Please consult the following sub-pages:

  • Training phase: Small problems with solutions. These training problems allow participants to test their approach before an actual submission.
  • LTL problems: Challenge problems of the RERS 2020 Parallel LTL track.
  • CTL problems: Challenge problems of RERS' Parallel CTL track.
  • Problem description: Description of the parallel problems.