Three papers accepted at ATVA’23 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.