Real-time multi-agent systems: rationality, formal model, and empirical results

D Calvaresi, Y Dicente Cid, M Marinoni… - Autonomous agents and …, 2021 - Springer
Since its dawn as a discipline, Artificial Intelligence (AI) has focused on mimicking the
human mental processes. As AI applications matured, the interest for employing them into …

Ai-based methods to resolve real-time scheduling for embedded systems: A review

F Boutekkouk - International Journal of Cognitive Informatics and …, 2021 - igi-global.com
Artificial Intelligence is becoming more attractive to resolve nontrivial problems including the
well known real time scheduling (RTS) problem for Embedded Systems (ES). The latter is …

Real-time BDI agents: a model and its implementation

A Traldi, F Bruschetti, M Robol, M Roveri… - ar** applications requiring high-levels of
autonomy and to deal with the complexity and unpredictability of real-world scenarios. The …

RT-BDI: a real-time BDI model

F Alzetta, P Giorgini, M Marinoni… - … Conference on Practical …, 2020 - Springer
Currently, distributed cyber-physical systems (CPS) rely upon embedded real-time systems,
which can guarantee compliance with time constraints. CPS are increasingly required to act …

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

A Boucherit, LM Castro, A Khababa… - Multiagent and Grid …, 2020 - content.iospress.com
The formal design and development of multi-agent systems has attracted a considerable
attention over the past decades because of their extensive use in safety-critical applications …