Travelled to:1 × Latvia
1 × United Kingdom
Collaborated with:∅ M.Z.Kwiatkowska U.Topcu C.Wiltsche I.Jecker A.Pauly J.Raskin M.v.d.Bogaard
Talks about:strategi (2) stochast (2) automaton (1) synthesi (1) process (1) multipl (1) entropi (1) between (1) object (1) beyond (1)
Person: Nicolas Basset
DBLP: Basset:Nicolas
Contributed to:
2015
2013
2018Wrote 3 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.
- ICALP-v2-2013-Basset #automaton #probability #process
- A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
- CSL-2018-BassetJPRB
- Beyond Admissibility: Dominance Between Chains of Strategies (NB, IJ, AP, JFR, MvdB), p. 22.