Travelled to:1 × United Kingdom
Collaborated with:L.Bozzelli S.Pinchinat N.Fijalkow A.Murano S.Rubin
Talks about:logic (2) strategi (1) quantifi (1) epistem (1) tempor (1) unifi (1) hyper (1) bound (1)
Person: Bastien Maubert
DBLP: Maubert:Bastien
Contributed to:
2015
2018Wrote 2 papers:
- FoSSaCS-2015-BozzelliMP #logic
- Unifying Hyper and Epistemic Temporal Logics (LB, BM, SP), pp. 167–182.
- CSL-2018-FijalkowMMR #bound #logic
- Quantifying Bounds in Strategy Logic (NF, BM, AM, SR), p. 23.