E-LIB Suche - Ergebnisse für: Ferrando, Angelo

1

Implementing multiblock techniques in a full-scale plant sc..:

Tanzilli, Daniele ; Strani, Lorenzo ; Bonacini, Francesco...
Analytica Chimica Acta. 1316 (2024) - p. 342851 , 2024

Link: https://doi.org/10.1016/..

2

Coalition Alternating-Time Temporal Logic: A Logic to Find ..:

, In: Lecture Notes in Computer Science; Agents and Artificial Intelligence,

Catta, Davide ; Ferrando, Angelo ; Malvone, Vadim - p. 72-94 , 2024

Link: https://doi.org/10.1007/..

3

Towards Forward Responsibility in BDI Agents:

, In: Engineering Multi-Agent Systems; Lecture Notes in Computer Science,

Cardoso, Rafael C. ; Ferrando, Angelo ; Collenette, Joe.. - p. 3-22 , 2023

Link: https://doi.org/10.1007/..

4

RV4Rasa: A Formalism-Agnostic Runtime Verification Framewor..:

, In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution,

Ferrando, Angelo ; Gatti, Andrea ; Mascardi, Viviana - p. 1-8 , 2023

Link: https://dl.acm.org/doi/1..

5

An abstraction-refinement framework for verifying strategic..:

Belardinelli, Francesco ; Ferrando, Angelo ; Malvone, Vadim
Artificial Intelligence. 316 (2023) - p. 103847 , 2023

Link: https://doi.org/10.1016/..

6

Integrating Ontologies and Cognitive Conversational Agents ..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Esfahani, Zeinab Namakizadeh ; Engelmann, Débora Cristina ; Ferrando, Angelo.. - p. 66-82 , 2023

Link: https://doi.org/10.1007/..

7

Incrementally predictive runtime verification:

Ferrando, Angelo ; Delzanno, Giorgio
Journal of Logic and Computation. 33 (2023) 4 - p. 796-817 , 2023

Link: https://doi.org/10.1093/..

8

Fantastic MASs and Where to Find Them: First Results and Le..:

, In: Engineering Multi-Agent Systems; Lecture Notes in Computer Science,

Briola, Daniela ; Ferrando, Angelo ; Mascardi, Viviana - p. 233-252 , 2023

Link: https://doi.org/10.1007/..

9

Exploiting Logic Programming for Runtime Verification: Curr..:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 300-317 , 2023

Link: https://doi.org/10.1007/..

10

Using a BDI Agent to Represent a Human on the Factory Floor..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Becker, Leandro Buss ; Downs, Anthony ; Schlenoff, Craig... - p. 214-227 , 2023

Link: https://doi.org/10.1007/..

11

Runtime Verification of Hash Code in Mutable Classes:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,

Ancona, Davide ; Ferrando, Angelo ; Mascardi, Viviana - p. 25-31 , 2023

Link: https://dl.acm.org/doi/1..

12

HYASM: A Tool to Verify Hierarchical Systems:

, In: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE),

Ferrando, Angelo ; Malvone, Vadim ; Murano, Aniello. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

13

AGAMAS: A New Agent-Oriented Traffic Simulation Framework f..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Sadeghi Garjan, Mahyar ; Chaanine, Tommy ; Pasquale, Cecilia.. - p. 396-405 , 2023

Link: https://doi.org/10.1007/..

14

HyperMonitor: A Python Prototype for Hyper Predictive Runti..:

, In: Lecture Notes in Computer Science; Reachability Problems,

Ferrando, Angelo ; Delzanno, Giorgio - p. 171-182 , 2023

Link: https://doi.org/10.1007/..

15

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems..:

Engelmann, Debora C. ; Ferrando, Angelo ; Panisson, Alison R....
Robotics. 12 (2023) 2 - p. 49 , 2023

Link: https://doi.org/10.3390/..