University of Oxford / University of Oxford Wolfson Building / /
IndustryTerm
aircraft electric power distribution network / energy objective / electronics technology / expected energy objectives / reactive systems / expected energy specification / expected energy objectives yields strategies / expected energy / energy objectives / controllable predecessor operator / aircraft primary electric power distribution networks / bounded energy / energy usage / energy / /
Organization
Clemens Wiltsche CS-RR-14-10 Department of Computer Science / Department of Computer Science / Department of Computer Science Strategy Synthesis for Stochastic Games / University of Oxford / /
Person
Nicolas Basset / Clemens Wiltsche / Xsk / Marta Kwiatkowska / /
Position
separate player / mp / finite-memory Player / Player / controller / /
Department of Computer Science Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset, Marta Kwiatkowska, Ufuk Topcu, and