Luca Bortolussi, Jane Hillston. Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. In Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky, editors, Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Volume 7938 of Lecture Notes in Computer Science, pages 113-149, Springer, 2013. [doi]
Abstract is missing.