Updates

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
       available

The RERS Challenge @ ISoLA 2018

The official meeting of the RERS community will take place at ISoLA 2018,
Limassol, Cyprus, Nov. 08, 2018.

During this event, the RERS'18 ranking and earned achievements will be revealed. In addition, participants are invited to briefly present their approach. Details will be announced soon.