Travelled to:
1 × United Kingdom
Collaborated with:
N.Basset M.Z.Kwiatkowska U.Topcu
Talks about:
synthesi (1) strategi (1) stochast (1) multipl (1) object (1) long (1) game (1) run (1)
Person: Clemens Wiltsche
DBLP: Wiltsche:Clemens
Contributed to:
Wrote 1 papers:
- TACAS-2015-BassetKTW #game studies #multi #probability #synthesis
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.