< emmas -event id = " ! stop_beat_ag0 " type = " output " name = " stop " action = " beat " agent -id = " 0 " / > 4 < emmas -event id = " ? begin_candy_ag0 " type = " input " name = " beginning " stimulus = " candy " agent -id = " 0 " / > 5 < emmas -event id = " ? stable_candy_ag0 " type = " input " name = " stable " stimulus = " candy " agent -id = " 0 " / > 6 < emmas -event id = " ? ending_candy_ag0 " type = " input " name = " ending " stimulus = " candy " agent -id = " 0 " / > 7 < emmas -event id = " ? absent_candy_ag0 " type = " input " name = " absent " stimulus The B-book: assigning programs to meanings, p.28, 1996. ,
A Model for HIV Spread in a South African Village, Multi-Agent-Based Simulation IX, pp.33-45, 2009. ,
DOI : 10.1007/978-3-642-01991-3_3
Tom Alloway Sniffy: The Virtual Rat, Pro Version 2.0, 2005. ,
An Integrated Theory of the Mind., Psychological Review, vol.111, issue.4, pp.1036-1060, 2004. ,
DOI : 10.1037/0033-295X.111.4.1036
Principles of Model Checking, p.128, 2008. ,
A Spatial Agent-Based Model to Explore Scenarios of Adaptation to Climate Change in an Alpine Tourism Destination, 3rd World Congress on Social SimulationComplex Systems, p.23, 2010. ,
DOI : 10.2139/ssrn.1566861
System Issues in Multi-agent Simulation of Large Crowds, Multi-Agent-Based Simulation VIII, pp.8-19, 2008. ,
DOI : 10.1007/978-3-540-70916-9_2
COOL: A language for describing coordination in multi agent systems, ICMAS, pp.17-24, 1995. ,
Rule-Based Runtime Verification, Lecture Notes in Computer Science, vol.2937, pp.44-57, 2004. ,
DOI : 10.1007/978-3-540-24622-0_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.8915
Program monitoring with LTL in Eagle, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., p.27, 2004. ,
DOI : 10.1109/IPDPS.2004.1303336
Vladimir Batagelj and Andrej Mrvar. Pajek ? program for large network analysis, Connections, vol.21, issue.1, p.31, 1998. ,
Monitoring of Real-Time Properties, FSTTCS, pp.260-272, 2006. ,
DOI : 10.1007/11944836_25
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?, Lecture Notes in Computer Science, vol.4839, pp.126-138, 2007. ,
DOI : 10.1007/978-3-540-77395-5_11
Chains of Affection: The Structure of Adolescent Romantic and Sexual Networks, American Journal of Sociology, vol.110, issue.1, pp.44-91, 2004. ,
DOI : 10.1086/386272
Model checking multiagent systems, Journal of Logic and Computation, vol.8, issue.3, pp.401-423, 1998. ,
DOI : 10.1093/logcom/8.3.401
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.451
Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984. ,
DOI : 10.1016/S0019-9958(84)80025-X
URL : http://doi.org/10.1016/s0019-9958(84)80025-x
Verisim: formal analysis of network simulations, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.129-145, 2002. ,
DOI : 10.1109/32.988495
Symbolic Model Checking without BDDs, TACAS, pp.193-207, 1999. ,
DOI : 10.1007/3-540-49059-0_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8033
Bounded Model Checking, Advances in Computers, vol.58, pp.118-149, 2003. ,
DOI : 10.1016/S0065-2458(03)58003-2
Verifiable Multi-agent Programs, Programming Multi-Agent Systems, pp.72-89, 2004. ,
DOI : 10.1007/978-3-540-25936-7_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.6509
Model checking agentspeak, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.409-416, 2003. ,
DOI : 10.1145/860575.860641
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7448
UCINet for Windows: Software for social network analysis, p.31, 2002. ,
Tibor Bosse and Charlotte Gerritsen Agentbased simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation, IFAAMAS, vol.23, issue.2, pp.1129-1136, 2008. ,
SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS, International Journal of Cooperative Information Systems, vol.18, issue.01, pp.167-193, 2009. ,
DOI : 10.1142/S0218843009001987
Intention, Plans, and Practical Reason, Bratman, vol.15, issue.422, pp.39-412, 1987. ,
Testing Transition Systems: An Annotated Bibliography, Modeling and Verification of Parallel Processes, pp.187-195, 2001. ,
DOI : 10.1007/3-540-45510-8_9
URL : http://eprints.eemcs.utwente.nl/secure2/00006456/01/fulltext.pdf
Design of an Artificial Decision Maker for a Humanbased Social Simulation ? Experience of the SimParc Project, pp.17-35, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01291366
A robust layered control system for a mobile robot, IEEE Journal on Robotics and Automation, vol.2, issue.1, 1986. ,
DOI : 10.1109/JRA.1986.1087032
Intelligence without representation, Artificial Intelligence, vol.47, issue.1-3, pp.139-1590004, 1991. ,
DOI : 10.1016/0004-3702(91)90053-M
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.1680
Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.428-439, 1990. ,
DOI : 10.1109/LICS.1990.113767
Quicksilver: A component-based environment for agent-based computer models and simulations, Burse, p.53, 2000. ,
Mobile ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, pp.140-155, 1998. ,
DOI : 10.1016/s0304-3975(99)00231-5
URL : http://doi.org/10.1016/s0304-3975(99)00231-5
Feng Chen and Grigore Ro¸suRo¸su Java-MOP: A monitoring oriented programming environment for java, Proceedings of the Eleventh International Conference on Tools and Algorithms for the construction and analysis of systems (TACAS'05), pp.546-550, 2005. ,
Feng Chen and Grigore Ro¸suRo¸su MOP: An Efficient and Generic Runtime Verification Framework, Object-Oriented Programming , Systems, Languages and Applications(OOPSLA'07), pp.569-588, 2007. ,
URL http://dx.doi.org/10, p.24, 2008. ,
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs Workshop, p.23, 1981. ,
Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990. ,
DOI : 10.1016/0004-3702(90)90055-5
Introduction to Algorithms, 2001. ,
Lourival Paulino da Silva A formal model for the fifth discipline, Journal of Artificial Societies and Social Simulation, vol.8, issue.36, 2005. ,
A simulation-oriented formalization for a psychological theory, FASE 2007 Proceedings, pp.42-56, 2007. ,
Reusing models in multi-agent simulation with software components, Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.1137-1144, 2008. ,
A formal environment model for multi-agent systems, Formal Methods: Foundations and Applications, pp.64-79, 2011. ,
On-the-fly verification of discrete event simulations by means of simulation purposes The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference, p.46, 2011. ,
Chapter 4. UNDERSTANDING ANASAZI CULTURE CHANGE THROUGH AGENT-BASED MODELING, pp.179-205, 2000. ,
DOI : 10.1515/9781400842872.90
IOM/T, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.778-785, 2005. ,
DOI : 10.1145/1082473.1082592
The EOS project: Integrating two models of palaeolithic social change, p.23, 1995. ,
Thomas Downing, Scott Moss and Claudia Pahl- Wostl. Understanding climate policy using participatory agent-based social simulation, Multi-Agent- Based Simulation, pp.127-140, 1979. ,
Agent-Based Modelling of Stem Cell Self-organisation in a Niche, Engineering Self-Organising Systems, pp.52-68, 2005. ,
DOI : 10.1007/11494676_4
Growing Artificial Societies: Social Science from the Bottom Up, p.40, 1996. ,
Modelling disease outbreaks in realistic urban social networks, Nature, vol.202, issue.6988, pp.429180-184, 2004. ,
DOI : 10.1103/PhysRevE.68.026121
Influences and reactions: a model of situated multiagent systems, Proceedings of ICMAS'96 (International Conference on Multi-Agent Systems, pp.43-44, 1996. ,
Jacques Ferber. Multi-agent systems ? An introduction to distributed artificial intelligence, pp.31-43, 1999. ,
On-the-fly verification of finite transition systems, Formal Methods in System Design, vol.2, issue.23, pp.251-273, 1992. ,
DOI : 10.1007/BF00121127
URL : https://hal.archives-ouvertes.fr/inria-00074812
Charles B. Ferster and Burrhus Frederic Skinner . Schedules of reinforcement. Appleton-Century-Crofts, p.244, 1957. ,
Checking Finite Traces Using Alternating Automata, Formal Methods in System Design, vol.24, issue.2, pp.101-127, 2004. ,
DOI : 10.1023/B:FORM.0000017718.28096.48
Automatic Translation from Circus to Java, FM 2006: Formal Methods, pp.115-130, 2006. ,
DOI : 10.1007/11813040_9
Models in science The Stanford Encyclopedia of Philosophy, p.22, 2009. ,
Testing can be formal, too, Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, TAPSOFT '95, pp.82-96, 1995. ,
DOI : 10.1007/3-540-59293-8_188
Paolo Gaudiano and Carolina Chang Phone Adaptive obstacle avoidance with a neural network for operant conditioning: Experiments with real robots, CIRA '97: Proceedings of the 1997 IEEE International Symposium on Computational Intelligence in Robotics and Automation, pp.13-19, 1997. ,
Platforms and methods for agent-based modeling, Proceedings of the National Academy of Sciences of the United States, p.22, 2002. ,
DOI : 10.1073/pnas.072079499
Automated runtime verification with eagle, p.27, 2005. ,
Lindsay Groves. Refinement and the Z schema calculus Electronic Notes in Theoretical Computer Science The BCS FACS Refinement Workshop (Satellite Event of FLoCl, pp.70-93, 2002. ,
Ronald Apriliyanto Halim and Mamadou Diouf Seck. The simulation-based multi-objective evolutionary optimization (SIMEON) framework The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference (SpringSim'11), p.29, 2011. ,
MOISE: An Organizational Model for Multi-agent Systems, Advances in Artificial Intelligence, pp.156-165, 2000. ,
DOI : 10.1007/3-540-44399-1_17
URL : https://hal.archives-ouvertes.fr/emse-00745232
Agent-Based Modelling of Forces in Crowds, Multi-Agent and Multi-Agent-Based Simulation, pp.173-184, 2005. ,
DOI : 10.1007/978-3-540-32243-6_14
On the law of effect1, Journal of the Experimental Analysis of Behavior, vol.13, issue.2, pp.243-266, 1970. ,
DOI : 10.1901/jeab.1970.13-243
Communicating Sequential Processes, p.27, 1985. ,
Gerard Holzmann The Spin model checker: primer and reference manual, p.32, 2003. ,
A behavior analytic paradigm for adaptive autonomous agents Available online at http://www. behavior.org/resources/320.pdf. Last retrieved in, p.19, 2010. ,
Moon-Ho Hwang Generating finite-state global behavior of reconfigurable automation systems: DEVS approach, Proceedings of the IEEE International Conference on Automation Science and Engineering, p.29, 2005. ,
An architecture for real-time reasoning and system control, IEEE Expert, vol.7, issue.6, pp.34-44, 1992. ,
DOI : 10.1109/64.180407
Information technology ? Z formal specification notation ? Syntax, type system and semantics, ISO/IEC, pp.2002-399, 2002. ,
Review of the Book Sniffy the Virtual Rat Pro Version 2.0, Journal of the Experimental Analysis of Behavior, vol.87, issue.2, pp.317-323, 2007. ,
DOI : 10.1901/jeab.2007.07-06
TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005. ,
DOI : 10.1007/s10009-004-0153-x
Computational logic foundations of KGP agents, Journal of Artificial Intelligence Research, vol.33, pp.285-348, 2008. ,
Java-MaC, Runtime Verification 2001 proceedings, p.31, 2001. ,
DOI : 10.1016/S1571-0661(04)00254-3
Franziska Klugl and Frank Puppe. The multiagent simulation environment SeSAm, Proceedings of the Simulation in Knowledge-based Systems workshop, p.54, 1998. ,
SOAR: An architecture for general intelligence, Artificial Intelligence, vol.33, issue.1, pp.1-64, 1987. ,
DOI : 10.1016/0004-3702(87)90050-6
Doug Lea Concurrent Programming in Java: Design Principles and Patterns, p.27, 1999. ,
Passive testing and applications to network management, Proceedings 1997 International Conference on Network Protocols, p.113, 1997. ,
DOI : 10.1109/ICNP.1997.643699
Hongyan Song and Weiping Wang. A testing framework for DEVS formalism implementations The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference (SpringSim'11), p.29, 2011. ,
The glory of the past, Proceedings of the Conference on Logic of Programs, pp.196-218, 1985. ,
DOI : 10.1007/3-540-15648-8_16
MCMAS: A Model Checker for the Verification of Multi-Agent Systems, Computer Aided Verification, pp.682-688978, 2009. ,
DOI : 10.1007/978-3-642-02658-4_55
MASON: A new multi-agent simulation toolkit, p.56, 2004. ,
Behavior-based robotics as a tool for synthesis of artificial behavior and analysis of natural behavior, Matari´cMatari´c Trends in Cognitive Sciences, vol.2, issue.3, pp.82-86, 1998. ,
Multi-agent Model of Technological Shifts, Multi-Agent-Based Simulation VIII, pp.112-127, 2008. ,
DOI : 10.1007/978-3-540-70916-9_9
John McCarthy. Programs with common sense, p.14, 1958. ,
The well-designed child, Artificial Intelligence, vol.172, issue.18, pp.2003-2014, 2008. ,
DOI : 10.1016/j.artint.2008.10.001
A computational model of selection by consequences., Journal of the Experimental Analysis of Behavior, vol.81, issue.3, pp.297-317, 2004. ,
DOI : 10.1901/jeab.2004.81-297
A computational theory of adaptive behavior based on an evolutionary reinforcement mechanism, Proceedings of the 8th annual conference on Genetic and evolutionary computation , GECCO '06, pp.175-182, 2006. ,
DOI : 10.1145/1143997.1144028
Mass produced software components, NATO Conference on Software Engineering . NATO Science Commitee, p.29, 1968. ,
The magical number seven, plus or minus two: Some limits on our capacity for processing information, Psychological Review, vol.63, pp.81-97, 1956. ,
Robin Milner Communicating and Mobile Systems: the ?- Calculus, pp.45-128, 1999. ,
The Swarm simulation system: A toolkit for building multi-agent simulations. 1996. Working Paper 96-06-042, p.56, 1996. ,
Multi-agent modeling and analysis of the brazilian food-poisoning scenario, Proceedings of Generative Social processes, Models, and Mechanisms Conference, p.31, 2005. ,
Automated Planning: Theory & Practice, p.41, 2004. ,
Experiences creating three implementations of the repast agent modeling toolkit, ACM Transactions on Modeling and Computer Simulation, vol.16, issue.1, pp.1-25, 2006. ,
DOI : 10.1145/1122012.1122013
The repast simphony runtime system, p.53, 2005. ,
ELMS: An Environment Description Language for Multi-agent Simulation, Environments for Multi-Agent Systems, pp.91-108, 2005. ,
DOI : 10.1007/978-3-540-32259-7_5
Marcel Vinícius Medeiros Oliveira. Formal Derivation of State-Rich Reactive Programs using Circus, p.27, 2005. ,
A stackless runtime environment for a Pi-calculus, Proceedings of the 2nd international conference on Virtual execution environments, VEE '06, pp.57-67, 2006. ,
DOI : 10.1145/1134760.1134770
URL : https://hal.archives-ouvertes.fr/hal-00140653
Pict: A programming language based on the pi-calculus, Proof, Language and Interaction: Essays in Honour of Robin Milner, p.52, 1997. ,
Karl Popper. The Logic of Scientific Discovery, 1959. ,
Jean-Pierre Queille and Joseph Sifakis. Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, p.23, 1982. ,
José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot and Shinichi Honiden. A modeling framework for generic agent interaction protocols, DALT, pp.207-224, 2006. ,
AgentSpeak(L): BDI agents speak out in a logical computable language. In MAAMAW '96: Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away, pp.42-55, 1996. ,
A modeltheoretic approach to the verification of situated reasoning systems, In IJCAI, pp.318-324, 1993. ,
BDI agents: From theory to practice, ICMAS, pp.312-319, 1995. ,
Stuart Russell and Devika Subramanian Provably bounded-optimal agents, Journal of Artificial Intelligence Research, vol.2, pp.575-609, 1995. ,
Artificial Intelligence: A Modern Approach, p.40, 2002. ,
Refinement in Circus, FME 2002:Formal Methods?Getting IT Right, pp.1-15, 2002. ,
DOI : 10.1007/3-540-45614-7_26
Lee Schruben Simulation modeling for analysis, ACM Trans. Model. Comput. Simul, vol.20, issue.1, 2010. ,
Agent-oriented programming, Artificial Intelligence, vol.60, issue.1, pp.51-92, 1993. ,
DOI : 10.1016/0004-3702(93)90034-9
A social reasoning mechanism based on dependence networks, Readings in agents, pp.416-420, 1998. ,
Sciences of the Artificial, p.36, 1996. ,
'Superstition' in the pigeon., Journal of Experimental Psychology, vol.38, issue.2, pp.168-172, 1948. ,
DOI : 10.1037/h0055873
Burrhus Frederic Skinner. Science and Human Behavior, pp.413-435, 1953. ,
Semantic Networks An updated version of this article can be found online on http://www.jfsowa.com/ pubs/semnet.htm. Last retrieved in, p.67, 1987. ,
The Z notation: a reference manual, p.404, 1992. ,
Consensus and cohesion in simulated social networks, Journal of Artificial Societies and Social Simulation, vol.4, issue.4, p.23, 2001. ,
Clemens Szyperski Component Software: Beyond Object- Oriented Programming, p.29, 1999. ,
Evaluation of free java-libraries for social-scientific agent based simulation, Journal of Artificial Societies and Social Simulation, vol.7, issue.1, p.22, 2004. ,
Operant Conditioning in Skinnerbots, Adaptive Behavior, vol.5, issue.3-4, pp.3-4, 1997. ,
DOI : 10.1177/105971239700500302
Model Based Testing with Labelled Transition Systems, Tretmans Lecture Notes in Computer Science, vol.4949, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1
Maksim Tsvetovat and Maciej Latek Dynamics of agent organizations: Application to modeling irregular warfare, Multi-Agent-Based Simulation IX, pp.60-70, 2009. ,
Wiebe van der Hoek and Michael Wooldridge. Towards a Logic of Rational Agency, Journal of IGLP, vol.11, issue.2, pp.133-157, 2003. ,
SeungJoon Park and Flavio Lerda. Model checking programs, Automated Software Engineering, vol.10, issue.2, pp.203-2321022920129859, 2003. ,
DOI : 10.1023/A:1022920129859
A Pi-calculus formalism for discrete event simulation, 2008 Winter Simulation Conference, pp.703-711, 2008. ,
DOI : 10.1109/WSC.2008.4736132
Social Network Analysis: Methods and Applications, p.42, 1994. ,
DOI : 10.1017/CBO9780511815478
Christopher John Cosnish Hellaby Watkins. Learning from Delayed Rewards, p.39, 1989. ,
Psychology as the behaviorist views it, Psychological Review, vol.20, pp.158-177, 1913. ,
Multiagent systems: a modern approach to distributed artificial intelligence, p.13, 1999. ,
Environments for Multiagent Systems State-of-the-Art and Research Challenges, Proceedings of the 1st International Workshop on Environments for Multi-agent Systems (Lecture Notes in Computer Science, 3374), pp.1-47, 2005. ,
DOI : 10.1007/978-3-540-32259-7_1
URL : https://hal.archives-ouvertes.fr/lirmm-00106417
A concurrent language for refinement, IWFM'01: 5th Irish Workshop in Formal Methods, p.44, 2001. ,
Using Z: Specification, Refinement, and Proof, p.399, 1996. ,
An Introduction to MultiAgent Systems, pp.14-20, 2009. ,
MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS, International Journal on Artificial Intelligence Tools, vol.15, issue.02, pp.195-225, 2006. ,
DOI : 10.1142/S0218213006002631
Theory of Modeling and Simulation, p.28, 2000. ,