( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems

. CoRR, (2012)

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.

Changbao Hou

Bo Hou

Ping-Ping Tsai

Lei Hou

Jun Hou

 

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

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems., и . LFCS, том 7734 из Lecture Notes in Computer Science, стр. 234-251. Springer, (2013)Infinite-Horizon Proactive Dynamic DCOPs., , , , , и . AAMAS, стр. 212-220. ACM, (2017)Stability Analysis for Memristor-Based Complex-Valued Neural Networks with Time Delays., , , и . Entropy, 21 (2): 120 (2019)Proactive Dynamic Distributed Constraint Optimization Problems., , , , , и . J. Artif. Intell. Res., (2022)Proactive Dynamic Distributed Constraint Optimization., , , , , и . AAMAS, стр. 597-605. ACM, (2016)Some Representation Theorems for Recovering Contraction Relations.. J. Comput. Sci. Technol., 20 (4): 536-541 (2005)The research of a web-based network blocking prototype for next generation network., , , и . GrC, стр. 357-360. IEEE, (2006)Solving Risk-Sensitive POMDPs With and Without Cost Observations., , и . AAAI, стр. 3138-3144. AAAI Press, (2016)New Metrics and Algorithms for Stochastic Goal Recognition Design Problems., , и . IJCAI, стр. 4455-4462. ijcai.org, (2017)Computational principles and practice for decoding immune contexture in the tumor microenvironment., , , , , и . Briefings Bioinform., (2021)