Author of the publication

Optimal Strategy Estimation of Random Evolutionary Boolean Games.

, , , and . IEEE Trans. Cybern., 52 (8): 7899-7905 (2022)

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.

 

Other publications of authors with the same name

Super-Dense Computation in Verification of Hybrid CSP Processes., , , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 13-22. Springer, (2013)Formal Verification of Quantum Algorithms Using Quantum Hoare Logic., , , , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 187-207. Springer, (2019)Semantics Foundation for Cyber-physical Systems Using Higher-order UTP., , , , and . ACM Trans. Softw. Eng. Methodol., 32 (1): 9:1-9:48 (January 2023)Perturbation Analysis for Controllability of Logical Control Networks., , , and . SIAM J. Control. Optim., 58 (6): 3632-3657 (2020)Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach., and . IEEE Trans. Control. Netw. Syst., 9 (3): 1261-1270 (2022)PENet: Towards Precise and Efficient Image Guided Depth Completion., , , , , and . ICRA, page 13656-13662. IEEE, (2021)The List L(2, 1)-Labeling of Planar Graphs with Large Girth., , , , , and . AAIM, volume 12290 of Lecture Notes in Computer Science, page 501-512. Springer, (2020)A framework for automated and certified refinement steps., , , and . Innov. Syst. Softw. Eng., 9 (1): 3-16 (2013)Set stability and synchronization of logical networks with probabilistic time delays., , and . J. Frankl. Inst., 355 (15): 7735-7748 (2018)Further Results on Large-Scale Complex Logical Networks., , , , and . IEEE Access, (2020)