Important Dates:

  • Oct. 20th – 30th, 2020:
       RERS at ISoLA'20
  • Aug. 20th, 2020:
       Final submission
  • Aug. 10th, 2020:
       Initial submission
  • July 27th, 2020:
       Challenge problems
  • June 1st, 2020:
       Parallel training problems
  • May 18th, 2020:
       Sequential 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.