Ethics of Trust/worthiness in Autonomous Systems: a sco** review.

DH Smith, DA Manzini, DMR Kennedy… - Proceedings of the First …, 2023 - dl.acm.org
The development of adaptive autonomous systems with evolving functionality (AASEFs)
differs from their technological predecessors due to their changing, rather than static …

A formal testing method for multi-agent systems using colored Petri nets

RA Machado, ASZ Cardoso, GP Farias… - Autonomous Agents and …, 2025 - Springer
Autonomy in software, a system's ability to make decisions and take actions independently
without human intervention, is a fundamental characteristic of multi-agent systems. Testing …

MAMTCPN: oise Automated Map** to Colored Petri Net

R Machado, A Zelindro, G Farias, D Adamatti… - Intelligent Systems …, 2024 - Springer
The demand for systems with artificial intelligence, such as multi-agent systems, is
continuously growing. At the same time, there is a need for the development of tools for …

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 …

MAMTCPN: Moise+ Automated Map** to Colored Petri Net

E Gonçalves - … Systems and Applications: Proceedings of the …, 2024 - books.google.com
The demand for systems with artificial intelligence, such as multi-agent systems, is
continuously growing. At the same time, there is a need for the development of tools for …

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

RA Machado, A Zelindro… - … de Educación y …, 2024 - ojs.cuadernoseducacion.com
A demanda por sistemas com inteligência artificial, como sistemas multiagente, está
continuamente crescendo. Ao mesmo tempo, há uma necessidade de desenvolvimento de …