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

  • Oct. 20th – 30th, 2020:
       RERS at ISoLA'20
  • Sept. 20th, 2020:
       Final submission
  • Sept. 10th, 2020:
       Initial submission
  • July 27th, 2020:
       Challenge problems
  • May 18th, 2020:
       Training problems

Download LTL Problems

Each participating team is invited to briefly present their approach to the RERS benchmarks at the corresponding event.

Coming soon

Please visit this page once the challenge problems of RERS 2020 have been released.