Author of the publication

Formal Verification of ALICA Multi-agent Plans Using Model Checking

, , , , and . Proceedings of the Ninth International Symposium on Information and Communication Technology, Danang City, Viet Nam, (December 2018)

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

Improved Cuckoo Search and Chaotic Flower Pollination optimization algorithm for maximizing area coverage in Wireless Sensor Networks., , , and . Neural Comput. Appl., 30 (7): 2305-2317 (2018)Evolutionary Algorithm and Multifactorial Evolutionary Algorithm on Clustered Shortest-Path Tree problem., , and . CoRR, (2020)Effective Multifactorial Evolutionary Algorithm for Solving the Cluster Shortest Path Tree Problem., , , and . CEC, page 1-8. IEEE, (2018)The new crossover operators and a novel combination of crossover operators for solving Linear Ordering Problem., , and . TAAI, page 150-157. IEEE, (2015)Ensemble Multifactorial Evolution With Biased Skill-Factor Inheritance for Many-Task Optimization., , , and . IEEE Trans. Evol. Comput., 27 (6): 1735-1749 (December 2023)Introduction to special issue "SOICT 2022"., and . Informatica (Slovenia), (2023)Multi-time-step Segment Routing based Traffic Engineering Leveraging Traffic Prediction., , , , and . IM, page 125-133. IEEE, (2021)Exploiting relay nodes for maximizing wireless underground sensor network lifetime., , , , and . Appl. Intell., 50 (12): 4568-4585 (2020)A Multi-task Approach For Maximum Survival Ratio Problem In Large-Scale Wireless Rechargeable Sensor Networks., , and . CEC, page 1688-1695. IEEE, (2021)Multi-Armed Bandits for Many-Task Evolutionary Optimization., , , and . CEC, page 1664-1671. IEEE, (2021)