Piergiorgio Bertoli

From MaRDI portal
Person:1856153

Available identifiers

zbMath Open bertoli.piergiorgioMaRDI QIDQ1856153

List of research outcomes





PublicationDate of PublicationType
Bounded-Resource Reasoning as (Strong or Classical) Planning2009-08-20Paper
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis2007-11-01Paper
Verifying Space and Time Requirements for Resource-Bounded Agents2007-11-01Paper
Strong planning under partial observability2007-10-23Paper
Conformant planning via symbolic model checking and heuristic search2006-02-07Paper
https://portal.mardi4nfdi.de/entity/Q48087222004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48090562004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q27695952002-02-05Paper
Mechanized result verification: An industrial application2000-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42229951999-01-07Paper

Research outcomes over time

This page was built for person: Piergiorgio Bertoli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1856153&oldid=11001525"
Powered by MediaWiki