共 50 条
- [32] Verifiable strategy synthesis for multiple autonomous agents: a scalable approach International Journal on Software Tools for Technology Transfer, 2022, 24 : 395 - 414
- [33] Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2020, 2020, 12327 : 73 - 92
- [34] Towards the development of physiological models for emotions evaluation 2018 40TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2018, : 110 - 113
- [35] Towards computational awareness in autonomous robots: an empirical study of computational kernels Complex & Intelligent Systems, 2023, 9 : 6269 - 6295
- [37] CLAIM: A Computational Language for Autonomous, Intelligent and Mobile agents PROGRAMMING MULTI-AGENT SYSTEMS, 2003, 3067 : 90 - 110
- [38] Towards Scalable Coverage-Based Testing of Autonomous Vehicles CONFERENCE ON ROBOT LEARNING, VOL 229, 2023, 229
- [39] Development of computational models of emotions: A software engineering perspective COGNITIVE SYSTEMS RESEARCH, 2020, 60 : 1 - 19
- [40] Towards Highly Scalable Runtime Models with History 2020 IEEE/ACM 15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2020, : 188 - 194