Manuel Núñez, Ismael Rodríguez, Fernando Rubio. Testing of Autonomous Agents Described as Utility State Machines. In Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio, editors, Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Volume 3236 of Lecture Notes in Computer Science, pages 322-336, Springer, 2004. [doi]
Abstract is missing.