Travelled to:
1 × Austria
1 × Czech Republic
1 × United Kingdom
Collaborated with:
R.Alur O.Maler G.Weiss E.Asarin M.Blockelet C.Dima C.Mu L.Doyen R.Gentilini J.Raskin S.Torunczyk
Talks about:
payoff (2) mean (2) imperfect (1) behaviour (1) asymptot (1) languag (1) tempor (1) inform (1) energi (1) condit (1)
Person: Aldric Degorre
DBLP: Degorre:Aldric
Contributed to:
Wrote 3 papers:
- LICS-CSL-2014-AsarinBDDM #behaviour #logic
- Asymptotic behaviour in temporal logic (EA, MB, AD, CD, CM), p. 9.
- CSL-2010-DegorreDGRT #energy #game studies
- Energy and Mean-Payoff Games with Imperfect Information (AD, LD, RG, JFR, ST), pp. 260–274.
- FoSSaCS-2009-AlurDMW #on the
- On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.