Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Browse the full CONCUR paper archive.