( en | de | ru )

 

Disambiguierung von "Penna, Giuseppe Della"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.

, , , und . Int. J. Artif. Intell. Tools, 24 (6): 1550025:1-1550025:45 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Valter Penna

Vincenzo Penna

Christina Pennavaja

Sergio Dellavalle

Claudio Penna

 

Weitere Publikationen von Autoren mit dem selben Namen

A Methodology for Scenario Development., , , und . SEKE, Seite 7-12. (2004)Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains., , , und . Int. J. Artif. Intell. Tools, 24 (6): 1550025:1-1550025:45 (2015)Visual extraction of information from web pages, , und . Journal of Visual Languages & Computing, 21 (1): 23--32 (Februar 2010)UPMurphi: A Tool for Universal Planning on PDDL+ Problems., , , und . ICAPS, AAAI, (2009)Exploiting Transition Locality in Automatic Verification., , , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2001)Exploiting Hub States in Automatic Verification., , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2005)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , und . HSCC, Volume 2623 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2003)Dataset Optimization Strategies for MalwareTraffic Detection., , und . CoRR, (2020)An XML Definition Language to Support Scenario-Based Requirements Engineering., , , und . International Journal of Software Engineering and Knowledge Engineering, 13 (3): 237-256 (2003)New Optimization Approaches in Malware Traffic Analysis., , und . LOD, Volume 13163 von Lecture Notes in Computer Science, Seite 57-68. Springer, (2021)