( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Zonotope-based Controller Synthesis for LTL Specifications.

, , и . CDC, стр. 580-585. IEEE, (2021)

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.

Ren Wei

Wei Ren Feng

Wei Wei

Wei Wei

Wei Wei

 

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

Accuracy evaluation in power hardware-in-the-loop (PHIL) simulation center for advanced power systems., , и . SCSC, стр. 489-493. Simulation Councils, Inc., (2007)Expressing properties in second- and third-order logic: hypercube graphs and SATQBF., , и . Logic Journal of the IGPL, 22 (2): 355-386 (2014)Greedy Code Search Based Memetic Algorithm for the Design of Orthogonal Polyphase Code Sets., , , и . IEEE Access, (2019)A Combinatorial Method based on Machine Learning Algorithms for Enhancing Cultural Economic Value., , , и . Int. J. Perform. Eng., 16 (7): 1105-1117 (2020)A Blockchain-Based Decentralized, Fair and Authenticated Information Sharing Scheme in Zero Trust Internet-of-Things., , , , , , и . IEEE Trans. Computers, 72 (2): 501-512 (февраля 2023)EpiMC: Detecting Epistatic Interactions Using Multiple Clusterings., , , , и . IEEE ACM Trans. Comput. Biol. Bioinform., 19 (1): 243-254 (2022)A multi-type and decentralized data transaction scheme based on smart contracts and digital watermarks., , , , , и . J. Netw. Comput. Appl., (2021)On Convergence Rate of Leader-Following Consensus of Linear Multi-Agent Systems with Communication Noises., , , , и . CoRR, (2015)Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation., и . CoRR, (2020)A Lightweight Privacy-Preserving Scheme Using Label-based Pixel Block Mixing for Image Classification in Deep Learning., , , , и . CoRR, (2021)