Home
2022
Sequential Problems
Training Phase
LTL problems
Reachability problems
Problem Description
Overview
C99 Code
Participation
Call for Participation
How to proceed
Challenge Rules
Rewards & Achievements
Submission
Event
Organization
Updates
May 31st, 2022:
Sequential challenge
problems released.
April 4th, 2022:
Sequential training problems
released
April 4th, 2022:
Important dates announced
Important Dates:
July 31th, 2022:
Final submission, sequential
May 31st, 2022:
Sequential problems
April 4th, 2022:
Training problems
Contact
For any questions and inquiries, please contact us at
info@rers-challenge.org
.