Formal verification of probabilistic swarm behaviours

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6234 LNCS, Issue , 2010, Pages 440-447

  Konur, Savas ^a   Dixon, Clare ^a   Fisher, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED FORMAL VERIFICATION; COMPUTATIONAL SIMULATION; FAULT-TOLERANT; FORMAL VERIFICATIONS; MATHEMATICAL ANALYSIS; REAL ROBOT; ROBOT SWARMS;

ARTIFICIAL INTELLIGENCE; CELLULAR AUTOMATA; MATHEMATICAL TECHNIQUES;

ROBOTS;

EID: 78049278843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15461-4_42     Document Type: Conference Paper

References (12)

1. Beni, G.: From Swarm Intelligence to Swarm Robotics. In: Şahin, E., Spears, W. M. (eds.) SAB 2004. LNCS, vol. 3342, pp. 1-9. Springer, Heidelberg (2005) (Pubitemid 41191100)
2. Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. J. Artificial Societies and Social Simulation 4 (1) (2001)
3. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
4. Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A Formal Analysis of Bluetooth Device Discovery. Int. J. Software Tools Techn. Transfer 8(6), 621-632 (2006) (Pubitemid 44650614)
5. Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing 6, 102-111 (1994)
6. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006) (Pubitemid 44019387)
7. Labella, T. H., Dorigo, M., Deneubourg, J. L.: Efficiency and Task Allocation in Prey Retrieval. In: Ijspeert, A. J., Murata, M., Wakamiya, N. (eds.) BioADIT 2004. LNCS, vol. 3141, pp. 274-289. Springer, Heidelberg (2004) (Pubitemid 39742716)
8. Lerman, K., Galstyan, A.: Mathematical Model of Foraging in a Group of Robots: Effect of Interference. Autonomous Robots 13(2), 127-141 (2002)
9. Lerman, K., Martinoli, A., Galstyan, A.: A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems. In: Şahin, E., Spears, W. M. (eds.) SAB 2004. LNCS, vol. 3342, pp. 143-152. Springer, Heidelberg (2005) (Pubitemid 41191111)
10. Liu, W., Winfield, A., Sa, J.: Modelling Swarm Robotic Systems: A Study in Collective Foraging. In: Proc. Towards Autonomous Robotic Systems (TAROS), pp. 25-32 (2007)
11. Liu, W., Winfield, A., Sa, J., Chen, J., Dou, L.: Strategies for Energy Optimisation in a Swarm of Foraging Robots. In: Şahin, E., Spears, W. M., Winfield, A. F. T. (eds.) SAB 2006 Ws 2007. LNCS, vol. 4433, pp. 14-26. Springer, Heidelberg (2007)
12. Sahin, E., Winfield, A. F. T.: Special Issue on Swarm Robotics. Swarm Intelligence 2 (2-4), 69-72 (2008)