(Frequently) asked questions
- Q: How can I submit my solutions? In which format should I specify them?
A: We have added a section to the how-to guide, which contains all necessary information. Submission is possible via mail.
- Q: What is the exact semantics of the LTL formulae when applied to the challenge problems?
A: As this was apparently not clear, we have detailed this on the problems page.