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.