Author:
Dastani Mehdi,Hindriks Koen V.,Meyer John-Jules Charles
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Variables Graphs May Help to Correct Erroneous MAS Specifications;Lecture Notes in Networks and Systems;2024
2. Towards Multi-agent Specification of Health Care Systems Using π-Calculus;Lecture Notes in Networks and Systems;2024
3. A survey of requirements for COVID-19 mitigation strategies;Bulletin of the Polish Academy of Sciences Technical Sciences;2021-06-26
4. Aggregate Farming in the Cloud: The AFarCloud ECSEL project;Microprocessors and Microsystems;2020-10
5. Using Proof Failures to Help Debugging MAS;Proceedings of the 11th International Conference on Agents and Artificial Intelligence;2019