Piergiorgio Bertoli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bounded-Resource Reasoning as (Strong or Classical) Planning Lecture Notes in Computer Science	2009-08-20	Paper
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis Model Checking and Artificial Intelligence	2007-11-01	Paper
Verifying Space and Time Requirements for Resource-Bounded Agents Model Checking and Artificial Intelligence	2007-11-01	Paper
Strong planning under partial observability Artificial Intelligence	2007-10-23	Paper
Conformant planning via symbolic model checking and heuristic search Artificial Intelligence	2006-02-07	Paper
scientific article; zbMATH DE number 2090051 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090300 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1701767 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1389647 (Why is no real title available?)	2000-12-18	Paper
Mechanized result verification: An industrial application International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
Specification and integration of theorem provers and computer algebra systems Lecture Notes in Computer Science	1999-04-19	Paper
scientific article; zbMATH DE number 1231668 (Why is no real title available?)	1999-01-07	Paper
A sequent calculus machine for symbolic computation systems	1998-06-11	Paper

Research outcomes over time

This page was built for person: Piergiorgio Bertoli