Paper at TACAS 2026

The paper entiled ““Multiple Long-Run and omega-Regular Objectives in MDPs” by Julius Ide, Joost-Pieter Katoen, Hannah Mertens and Tim Quatmann has been accepted for TACAS 2026, to be held in Turin, Italy. The paper was one of the 56 (out of 190) papers that were accepted and presents presents algorithms for solving multi-objective problems in Markov Decision Processes, specifically addressing the achievability question: does there exist a strategy that meets a given set of objectives?