Important Dates:

  • Oct. 30 – Nov. 13 (tba), 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 20, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks

Parallel Problems

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

The parallel problems of RERS 2018 are planned to be released on
August 20th, 2018.

Once released, these parallel problems will be available for download on this page. In the meantime, please have a look at the parallel training problems.