RCRA/RiCeRcA@AI*IA

Keyphrases

Publications

2019

Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. RCRA/RiCeRcA@AI*IA (2019)
Carmine Dodaro, Alessandro Previti
Minipref: A Tool for Preferences in SAT (short paper). RCRA/RiCeRcA@AI*IA (2019)
Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper). RCRA/RiCeRcA@AI*IA (2019)
Riccardo Bertolucci
TDeclarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots (short paper). RCRA/RiCeRcA@AI*IA (2019)
Agostina Calabrese
Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios. RCRA/RiCeRcA@AI*IA (2019)
Lukás Chrpa, Martin Pilát, Jakub Gemrot
Compiling Planning Problems with Non-deterministic Events into FOND Planning. RCRA/RiCeRcA@AI*IA (2019)