Toni Mancini | Ricerc@Sapienza

Toni Mancini

Professore Ordinario

Struttura:

DIPARTIMENTO DI INFORMATICA

E-mail:

toni.mancini@uniroma1.it

Pagina istituzionale corsi di laurea

Curriculum Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
User flexibility aware price policy synthesis for smart grids	Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015	2015
Simulator semantics for system level formal verification	Logics and Formal Verification 2015 (GandALF’15)	2015
Now or never: negotiating efficiently with unknown counterparts	CEUR Workshop Proceedings	2015
Experimental evaluation of algorithms forsolving problems with combinatorial explosion	AI COMMUNICATIONS	2015

Progetti di Ricerca

Explainable Artificial Intelligence to learn and standardise decision making in safety-critical clinical domains, with applications to psychotropic drug-based treatments of mental illness during pregnancy and lactation and criminal forensic psychiatry
Computing Complete Cohorts of Virtual Phenotypes for In Silico Clinical Trials and Model-Based Precision Medicine
NeVuAMA: Artificial Intelligence for Network Vulnerability Analysis under Malicious Attacks

Gruppi di ricerca

MCLab: Model Checking Lab

MCLab: Model Checking Lab

MCLab: Model Checking Lab

MCLab: Model Checking Lab

MCLab: Model Checking Lab

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma