Decidability of One-Clock Weighted Timed Games with Arbitrary Weights

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

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 diffic…