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 LTL Problems

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

Update (Aug. 31, 2018): A Promela version of problems 101 – 103 is now available. The download link below has been updated accordingly.

The Parallel LTL track of RERS 2018 consists of three problems of increasing difficulty. Regarding achievement levels, "problem101" represents the bronze, "problem102" the silver, and "problem103" the gold category. For more details, please visit the Rewards & Achievements page.

The problems are provided as a .zip archive.

Each problem is available as a Petri net (.pnml), as Promela code (.pml), and as a system of parallel transition systems (.dot). Please note the different LTL semantics described here.

A description of the problems from this track can be found here.