Skip to content

Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.

Yaron Velner

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.