Author:
Bădică Amelia,Bădică Costin
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference34 articles.
1. Abolhasanzadeh B, Jalili S (2016) Towards modeling and runtime verification of self-organizing systems. Expert Syst Appl 44:230–244
2. Andrei O, Kirchner H (2013) Runtime verification for biochemical programs. Electr Notes Theor Comput Sci 297:27–46 Elsevier
3. Antuña L, Araiza-Illan D, Campos S, Kerstin E (2015) Symmetry reduction enables model checking of more complex emergent behaviours of swarm navigation algorithms. In: Dixon C, Tuyls K (eds) 16th annual conference: towards autonomous robotic systems. TAROS 2015, Lecture notes in computer science, vol 9287. Springer, Berlin, pp 26–37
4. Bădică C, Budimac Z, Burkhard H-D, Ivanović M (2011) Software agents: languages, tools, platforms. Comput Sci Inf Syst 8(2):255–298
5. Bădică A, Bădică C (2010) Specification and verification of an agent-based auction service. In: Papadopoulos GA, Wojtkowski W, Wojtkowski G, Wrycza S, Zupancic J (eds) Information systems development. Springer, New York, pp 239–248
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring the Blocks World state space;Concurrency and Computation: Practice and Experience;2021-07-18
2. Multi-Agent Foraging: state-of-the-art and research challenges;Complex Adaptive Systems Modeling;2017-02-02