Travelled to:1 × Austria
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ J.Duparc W.Thomas
Talks about:pushdown (3) game (3) graph (2) hierarchi (1) synthesi (1) strategi (1) automata (1) languag (1) symbol (1) ration (1)
Person: Thierry Cachat
DBLP: Cachat:Thierry
Contributed to:
2003
20022002
2001Wrote 4 papers:
- ICALP-2003-Cachat #automaton #game studies #graph #higher-order
- Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games (TC), pp. 556–569.
- CSL-2002-CachatDT #automaton #game studies
- Solving Pushdown Games with a Σ₃ Winning Condition (TC, JD, WT), pp. 322–336.
- ICALP-2002-Cachat #automaton #game studies #graph #synthesis
- Symbolic Strategy Synthesis for Games on Pushdown Graphs (TC), pp. 704–715.
- DLT-2001-Cachat #power of
- The Power of One-Letter Rational Languages (TC), pp. 145–154.