( en | de | ru )

 

Disambiguation of "Traverso, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.

, , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 221-230. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Other publications of authors with the same name

Automated Composition of Web Services: the ASTRO Approach., , and . IEEE Data Eng. Bull., 31 (3): 23-26 (2008)Understanding Scene Descriptions by Integrating Different Sources of Knowledge., , , and . Int. J. Man Mach. Stud., 37 (1): 47-81 (1992)Automated Planning: Theory and Practice, , and . Elsevier, (2004)Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models., , , , and . CoRR, (2020)Program Tactics and Logic Tactics., and . LPAR, volume 822 of Lecture Notes in Computer Science, page 16-30. Springer, (1994)Strong planning under partial observability., , , and . Artif. Intell., 170 (4-5): 337-384 (2006)Weak, strong, and strong cyclic planning via symbolic model checking., , , and . Artif. Intell., 147 (1-2): 35-84 (2003)Program Tactics and Logic Tactics., and . Ann. Math. Artif. Intell., 17 (3-4): 235-259 (1996)On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces., , , , and . AAAI, page 11862-11869. AAAI Press, (2021)Planning for Learning Object Properties., , , , , , and . AAAI, page 12005-12013. AAAI Press, (2023)