Lancelot Six, Zahia Guessoum, Julien Saunier, Sio-Song Ieng. Towards a truck-driver model using a hysteresis based analysis and verification approach. In Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. Jonker, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. pages 1219-1220, IFAAMAS, 2013. [doi]
Abstract is missing.