Important Dates:

  • Nov. 08, 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 22, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks

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.
  • LTL problems: Actual challenge problems of the RERS 2018 Parallel LTL track.
  • CTL problems: Problems of RERS' new Parallel CTL track.
  • Problem description: Description of the parallel problems.