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://cosmeticssquadets.shop/product-category/intimate-spray/