Searching for authors named "Piergiorgio Bertoli" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Planning with Extended Goals and Partial Observability
- …Planning with Extended Goals and Partial Observability ∗ Piergiorgio Bertoli ITC-irst Via…
- Cited by 9 (2 self) – Add To MetaCart
-
Specification and Integration of Theorem Provers and Computer Algebra Systems
- … and Integration of Theorem Provers and Computer Algebra Systems Piergiorgio Bertoli, Jacques Calmet, Fausto…
- Cited by 23 (10 self) – Add To MetaCart
-
The OMRS Project: State of the Art
- …://www.elsevier.nl/locate/entcs/volume15.html 20 pages The OMRS Project: State of the Art Fausto Giunchiglia a Piergiorgio Bertoli a…
- Cited by 1 (0 self) – Add To MetaCart
-
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
- … Cimatti 1 , Marco Roveri 1;2 , and Piergiorgio Bertoli 1 1 ITC-IRST, Via Sommarive 18, 38055 Povo…
- Cited by 6 (4 self) – Add To MetaCart
-
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
- …Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning Piergiorgio Bertoli 1…
- Cited by 35 (5 self) – Add To MetaCart
-
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
- … Piergiorgio Bertoli 1 , Alessandro Cimatti 1 , Marco Roveri 1;2 , Paolo Traverso 1 1 ITC-IRST, Via…
- Cited by 87 (13 self) – Add To MetaCart
-
Solving power supply restoration problems with planning via symbolic model checking
- …Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking Piergiorgio…
- Cited by 21 (5 self) – Add To MetaCart
-
Extending PDDL to nondeterminism, limited sensing and iterative conditional
- …Extending PDDL to nondeterminism, limited sensing and iterative conditional plans Piergiorgio…
- Cited by 7 (1 self) – Add To MetaCart
-
Certification of Translators via Offline and On-line Proof Logging and . . .
- …. Certification of Translators via Off-line and On-line Proof Logging and Checking Piergiorgio Bertoli…
- Add To MetaCart
-
“YourWay!”: a Platform for Composing and Executing Services Driven by User Resources
- … Kazhamiakin 1 , Piergiorgio Bertoli 1 , Massimo Paolucci 2 , Marco Pistore 1 , and Matthias Wagner 2 1 FBK…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
