( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems.

, , и . Artificial Intelligence and Applications, стр. 279-286. IASTED/ACTA Press, (2006)

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.

Gianluca Airaghi

Gianluca Cama

Gianluca Valenti

Gianluca Quintini

Gianluca Carlin

 

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

Predictive Semantics for Past-CTL Runtime Monitors., , и . CoRR, (2022)Compact Diagnoses Representation in Diagnostic Problem Solving., и . Comput. Intell., 21 (1): 27-68 (2005)Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems., , и . Artificial Intelligence and Applications, стр. 279-286. IASTED/ACTA Press, (2006)On the Dynamic Evolution of Distributed Computational Aggregates., , и . ACSOS-C, стр. 37-42. IEEE, (2022)On Stream Runtime Verification and Aggregate Programming., и . VORTEX@ISSTA, стр. 9-12. ACM, (2023)A Semantic Approach to Constraint-Based Reasoning in Geographical Domains., , , , и . IC3K, том 1222 из Communications in Computer and Information Science, стр. 202-227. Springer, (2018)A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model., и . SGAI Conf., стр. 251-264. Springer, (2010)Computation of Minimal Sensor Sets for Conditional Testability Requirements., и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 805-806. IOS Press, (2008)A Scheduling Tool for Conditionally Independent Temporal Preferences., и . ICTAI, стр. 64-71. IEEE Computer Society, (2015)An Enhanced Exchange Operator for XC., , , , и . COORDINATION, том 14676 из Lecture Notes in Computer Science, стр. 129-145. Springer, (2024)