Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:M.Ryan P.Schobbens
Talks about:atl (2) algorithm (1) synthesi (1) strategi (1) approxim (1) game (1) new (1) ltl (1)
Person: Aidan Harding
DBLP: Harding:Aidan
Contributed to:
2005
2002Wrote 2 papers:
- TACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis
- A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.
- VMCAI-2002-HardingRS #approximate #atl
- Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.