Weighted Timed Games (WTG for short) are the most widely used model to describe controller synthesis problems involving real-time issues. Unfortunately. they are notoriously difficult. and undecidable in general. https://otsportszones.shop/product-category/baseball/