Leadsto: A language and environment for analysis of dynamics by simulation (2005)

by Tibor Bosse , Catholijn M. Jonker , Lourens Van Der Meij , Jan Treur
Venue:Proc. of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in Artificial Intelligence
Citations:176 - 133 self

Active Bibliography

1 Past-Future Separation and Normal Forms in Temporal Predicate Logic Specifications – Jan Treur
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
1237 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
807 Being There -- Putting Brain, Body, and World Together Again – Andy Clark - 1997
477 Modeling and simulation of genetic regulatory systems: A literature review – Hidde De Jong - 2002
460 Qualitative Simulation – Benjamin Kuipers - 2001
368 Applications of Intelligent Agents – N. R. Jennings, M. Wooldridge - 1998