Testing of Autonomous Agents Described as Utility State Machines

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]

Authors

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google

Ismael Rodríguez

This author has not been identified. Look up 'Ismael Rodríguez' in Google

Fernando Rubio

This author has not been identified. Look up 'Fernando Rubio' in Google