Giuseppe Della Penna

Giuseppe Della Penna

Università degli Studi dell'Aquila - L'Aquila / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1806965
University of L'Aquila
person_outline Giuseppe Della Penna's MOST POPULAR ARTICLES
1-) UPMurphi: A tool for universal planning on PDDL+ problems Proceedings of the International Conference on Automated Planning and …, 2009
2-) Bounded Probabilistic Model Checking with the Murφ Verifier International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004
3-) Exploiting transition locality in automatic verification of finite-state concurrent systems International Journal on Software Tools for Technology Transfer 6, 320-341, 2004
4-) A universal planning system for hybrid domains Applied intelligence 36, 932-959, 2012
5-) Finite horizon analysis of Markov Chains with the Murϕ verifier International Journal on Software Tools for Technology Transfer 8, 397-409, 2006