Browsing Articles, chapters, papers, reports Department of Computer Science and Engineering by Subject
Now showing items 1-19 of 19
| Subject |
|---|
| Agent-based models [1] |
| Ant colonies [1] |
| Collective behaviour [1] |
| Concurrency [1] |
| Congruence [1] |
| Emerson-Lei games [1] |
| Enumerative verification [1] |
| fairness [1] |
| Finite state processes [1] |
| Foraging [1] |
| Formal verification [1] |
| games on graphs [1] |
| Model-checking, Agent Theories and Models, Verification of Multi-Agent Systems [1] |
| parity games [2] |
| reactive synthesis [1] |
| Simulation [1] |
| State space reduction [1] |
| Two-player games [1] |
| two-player games [1] |