Updates

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
       available

Parallel Problems (Overview)

This page serves as a menu concerning the parallel problems of the RERS Challenge 2018.
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.
  • Parallel problems: Actual challenge problems of the RERS 2018 Parallel LTL track.
  • Problem description: Description of the parallel problems.