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

Download Reachability 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.