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 …

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 …

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 …

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 …