Skip to content

Optimal Reachability in Weighted Timed Automata and Games.

Patricia Bouyer-Decitre

VenueBMFCS
Year2016
ProceedingsMFCS

Browse the full MFCS paper archive.