Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Alternating-time temporal logic
Journal of the ACM (JACM)
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
On the logic of cooperation and propositional control
Artificial Intelligence
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Theory of cellular automata: a survey
Theoretical Computer Science
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
Alternating-time temporal logics with irrevocable strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
| Hi-index | 0.00 |
In multi-agent systems where the available actions of each agent are determined by its state change history, a small change in the states of any subset of the agents, caused by an external force, may induce an infinite chain of events which force the system to undergo a complex evolvement process, even when the interconnections between the agents are partial. This scenario is common in modeling the interactions in complex systems and can be manifested vividly by the well-known ``butterfly effect". Motivated by the idea of cellular automata, cellular reactive system is defined to capture the dynamics of such multi-agent systems. Then, the logic CRL is proposed to reason about the temporal effects of external forces in a cellular reactive system. Finally, the relation between CRL and ATL* is established formally and based on which the model checking problem of CRL is discussed.