( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Early Requirements Specifications in Tropos.

, , , и . RE, стр. 174-181. IEEE Computer Society, (2001)

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.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Другие публикации лиц с тем же именем

Understanding Scene Descriptions by Integrating Different Sources of Knowledge., , , и . Int. J. Man Mach. Stud., 37 (1): 47-81 (1992)Automated Planning: Theory and Practice, , и . Elsevier, (2004)Strong planning under partial observability., , , и . Artif. Intell., 170 (4-5): 337-384 (2006)Weak, strong, and strong cyclic planning via symbolic model checking., , , и . Artif. Intell., 147 (1-2): 35-84 (2003)Program Tactics and Logic Tactics., и . LPAR, том 822 из Lecture Notes in Computer Science, стр. 16-30. Springer, (1994)On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces., , , , и . AAAI, стр. 11862-11869. AAAI Press, (2021)Coordination and Control of Hierarchically Organized Interacting Agents., , , и . FLAIRS, (2021)Planning as Model Checking., и . ECP, том 1809 из Lecture Notes in Computer Science, стр. 1-20. Springer, (1999)Design for Adaptation of Distributed Service-Based Systems., , , , и . ICSOC, том 9435 из Lecture Notes in Computer Science, стр. 383-393. Springer, (2015)Keynote abstract: From smart cities to smart communities: The case of children's independent mobility.. SMAP, стр. xv. IEEE Computer Society, (2015)