Concepedia

Giuseppe Della Penna

GD

15

Publications

417

Citations

12

H-Index

2003

Active since

Affiliations

University of L'Aquila(Current)

University of Rome Tor Vergata

Sapienza University of Rome

University of Chieti-Pescara

Giuseppe Della Penna is an author at University of L'Aquila specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationData ScienceFormal MethodsFormal VerificationRoboticsProgram AnalysisAutomated Reasoning

Publications per year

2003–2021

15

Publications

15

UPMurphi: A Tool for Universal Planning on PDDL+ Problems

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2009 · 105 citations · Full text

Mathematical Programming, Engineering, Model Checking +18

A universal planning system for hybrid domains

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio · Applied Intelligence · 2011 · 48 citations

Engineering, Ai Planning, Heuristic Planning +10

Exploiting transition locality in automatic verification of finite-state concurrent systems

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti et al. · International Journal on Software Tools for Technology Transfer · 2004 · 47 citations

Engineering, Program Analysis, Automated Reasoning +11

A probabilistic approach to automatic verification of concurrent systems

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila et al. · 2005 · 28 citations

Engineering, Verification, Computer-aided Verification +19

Finite horizon analysis of Markov Chains with the Murϕ verifier

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti et al. · International Journal on Software Tools for Technology Transfer · 2006 · 27 citations

Engineering, Entropy, Hidden Markov Model +8

Rows per page

1–5 of 15