Referent: Dipl.-Inform. Simon Lessenich Titel: Counting Logics and Games with Counters Abstract: In verification and synthesis, properties or models of interest are often quantitative, and many quantitative aspects involve counting. For example, one might be interested in the amount of … Continue reading →