Travelled to:
1 × Austria
1 × Hungary
Collaborated with:
R.Brenguier J.Raskin G.Benattar B.Bérard D.Lime J.Mullins O.H.Roux
Talks about:
transduc (2) synthesi (2) channel (2) finit (2) regular (1) complex (1) admiss (1) game (1)
Person: Mathieu Sassolas
DBLP: Sassolas:Mathieu
Contributed to:
Wrote 3 papers:
- LICS-CSL-2014-BrenguierRS #complexity #game studies
- The complexity of admissibility in ω-regular games (RB, JFR, MS), p. 10.
- AFL-2011-BenattarBLMRS #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 79–92.
- AFL-J-2011-BenattarBLMRS12 #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 1241–1260.