(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 using a form on this website or 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.