We are delighted to announce that we have three papers accepted at ATVA’23:

• a paper on strategies in synthesis over finite traces,
• a paper introducing a novel family of finite automata for recognizing and learning ω-regular languages, and
• a scenario approach for parametric Markov models.