BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Basset:Nicolas

Contributed to:

TACAS 20152015
ICALP (2) 20132013
CSL 20182018

Wrote 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.
Beyond Admissibility: Dominance Between Chains of Strategies (NB, IJ, AP, JFR, MvdB), p. 22.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.