( en | de | ru )

 

Disambiguation of "Ferrando, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.

, , , , , , , and . PAAMS (Workshops), volume 616 of Communications in Computer and Information Science, page 15-26. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ilaria Ferrando

Ferran Ferrando Melià

Angelo Jotzoff

Angelo Jotzoff

Angelo Schmandra

 

Other publications of authors with the same name

On Enactability of Agent Interaction Protocols: Towards a Unified Approach, , , , and . Engineering Multi-Agent Systems, volume 12058 of Lecture Notes in Artificial Intelligence, Springer, Cham, (2020)VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems., and . CoRR, (2024)Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps., , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 154-170. CEUR-WS.org, (2022)MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols., , , and . WOA, volume 1664 of CEUR Workshop Proceedings, page 35-43. CEUR-WS.org, (2016)RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa., , and . VORTEX@ISSTA, page 1-8. ACM, (2023)Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives., , and . ICAART (Revised Selected Paper), volume 14546 of Lecture Notes in Computer Science, page 72-94. Springer, (2023)RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications., , , , , and . Robotics, 12 (2): 49 (April 2023)Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information., and . AAMAS, page 793-801. ACM, (2023)Integrating Ontologies and Cognitive Conversational Agents in On2Conv., , , , and . EUMAS, volume 14282 of Lecture Notes in Computer Science, page 66-82. Springer, (2023)Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition., , , , , , , and . EUMAS, volume 14282 of Lecture Notes in Computer Science, page 214-227. Springer, (2023)