@InProceedings{   Velnera,
  Author        = "Velner, Yaron",
  BookTitle     = "Proc. of ICALP'14",
  date-added    = "2014-05-03 06:01:22 +0000",
  date-modified = "2015-09-24 17:02:08 +0000",
  Title         = "Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives",
  Year          = "2014",
  File          = "Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives - Velner (0) (0) - a - a - s.pdf"
}

@InProceedings{ Velnera, Author = "Velner, Yaron", BookTitle = "Proc. of ICALP'14", date-added = "2014-05-03 06:01:22 +0000", date-modified = "2015-09-24 17:02:08 +0000", Title = "Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives", Year = "2014", File = "Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives - Velner (0) (0) - a - a - s.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge