Travelled to:
1 × Sweden
Collaborated with:
M.A.H.Newton L.Wen A.Sattar
Talks about:
formalis (1) behavior (1) integr (1) tree (1)
Person: Kushal Ahmed
DBLP: Ahmed:Kushal
Contributed to:
Wrote 1 papers:
- ASE-2014-AhmedNWS #behaviour #formal method #integration
- Formalisation of the integration of behavior trees (KA, MAHN, LW, AS), pp. 779–784.