Filter your results
- 3
- 3
- 3
- 1
- 3
- 4
- 3
- 5
- 2
- 1
- 1
- 4
- 2
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Learning to Identify Rush Strategies in StarCraft17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.90-102, ⟨10.1007/978-3-319-99426-0_8⟩
Conference papers
hal-02128626v1
|
||
|
|
Fibrational Bisimulations and Quantitative Reasoning14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers
hal-01901092v1
|
||
|
|
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers
hal-02044648v1
|