A Review of Agent-Based Programming for Multi-Agent Systems von Cardoso, Rafael C., Ferrando, Angelo

Volltext

A Multiblock Approach to Fuse Process and Near-Infrared Sensors for On-Line Prediction of Polymer Properties von Strani, Lorenzo, Vitale, Raffaele, Tanzilli, Daniele, Bonacini, Francesco, Perolo, Andrea, Mantovani, Erik, Ferrando, Angelo, Cocchi, Marina

Volltext

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal von Farrell, Marie, Mavrakis, Nikos, Ferrando, Angelo, Dixon, Clare, Gao, Yang

Volltext

Real Time Quality Assessment of General Purpose Polystyrene (GPPS) by means of Multiblock-PLS Applied on On-line Sensors Data von Lorenzo Strani, Francesco Bonacini, Angelo Ferrando, Andrea Perolo, Daniela Tanzilli, Raffaele Vitale, Marina Cocchi

Volltext

The early bird catches the worm: First verify, then monitor von Ferrando, Angelo

Volltext

An Overview of Verification and Validation Challenges for Inspection Robots von Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, Papacchini, Fabio, Webster, Matt

Volltext

Incrementally predictive runtime verification von Ferrando, Angelo, Delzanno, Giorgio

Volltext

Special Issue: Agents and Robots for Reliable Engineered Autonomy von Cardoso, Rafael C., Ferrando, Angelo, Briola, Daniela, Menghi, Claudio, Ahlbrecht, Tobias

Volltext

Smart rogaining for computer science orientation von Chessa, Manuela, Delzanno, Giorgio, Ferrando, Angelo, Gelati, Luca, Guerrini, Giovanna, Mascardi, Viviana, Noceti, Nicoletta, Odone, Francesca, Vitali, Francesca

Volltext

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020 von Cardoso, Rafael C., Ferrando, Angelo, Briola, Daniela, Menghi, Claudio, Ahlbrecht, Tobias

Volltext

RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications von Engelmann, Debora C., Ferrando, Angelo, Panisson, Alison R., Ancona, Davide, Bordini, Rafael H., Mascardi, Viviana

Volltext

Towards partial monitoring: Never too early to give in von Ferrando, Angelo, Cardoso, Rafael C.

Volltext

Unusual Cross-Linked Polystyrene by Copper-Catalyzed ARGET ATRP Using a Bifunctional Initiator and No Cross-Linking Agent von Braidi, Niccolò, Buffagni, Mirko, Buzzoni, Valentina, Ghelfi, Franco, Parenti, Francesca, Focarete, Maria Letizia, Gualandi, Chiara, Bedogni, Elena, Bonifaci, Luisa, Cavalca, Gianfranco, Ferrando, Angelo, Longo, Aldo, Morandini, Ida, Pettenuzzo, Nicolò

Volltext

Copper-Catalysed “Activators Regenerated by Electron Transfer” “Atom Transfer Radical Polymerisation” of Styrene from a Bifunctional Initiator in Ethyl Acetate/Ethanol, Using Ascor... von Braidi, Niccolò, Buffagni, Mirko, Ghelfi, Franco, Imperato, Manuel, Menabue, Alberto, Parenti, Francesca, Gennaro, Armando, Isse, Abdirisak A., Bedogni, Elena, Bonifaci, Luisa, Cavalca, Gianfranco, Ferrando, Angelo, Longo, Aldo, Morandini, Ida

Volltext

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information von Belardinelli, Francesco, Ferrando, Angelo, Malvone, Vadim

Volltext

Runtime Verification with Imperfect Information Through Indistinguishability Relations von Ferrando, Angelo, Malvone, Vadim

Volltext

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy: Preface von Ferrando, Angelo, Cardoso, Rafael C.

Volltext

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? von Gatti, Andrea, Mascardi, Viviana, Ferrando, Angelo

Volltext

Open Challenges in the Formal Verification of Autonomous Driving von Burgio, Paolo, Ferrando, Angelo, Villani, Marco

Volltext

Implementing multiblock techniques in a full-scale plant scenario: On-line prediction of quality parameters in a continuous process for different acrylonitrile butadiene styrene (A... von Tanzilli, Daniele, Strani, Lorenzo, Bonacini, Francesco, Ferrando, Angelo, Cocchi, Marina, Durante, Caterina

Volltext