Doan Thu Trang

Verifying Dribble Agents

Doan Thu Trang, Brian Logan, Natasha Alechina, 2009, DALT.

Meta-APL : a general language for agent programming

Doan Thu Trang, 2014 .

An Agent Team Based on FLUX for the ProMAS Contest 2007

Stephan Schiffel, Michael Thielscher, Doan Thu Trang, 2007, PROMAS.

Verifying heterogeneous multi-agent programs

Doan Thu Trang, Brian Logan, Natasha Alechina, 2014, AAMAS.