Author of the publication

Model Checking of Variable Petri Nets by Using the Kripke Structure.

, , , , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7774-7786 (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

Trajectory Correction and Locomotion Analysis of a Hexapod Walking Robot with Semi-Round Rigid Feet., , , , and . Sensors, 16 (9): 1392 (2016)A Unique Self-Sensing, Self-Actuating AFM Probe at Higher Eigenmodes., , , , , , and . Sensors, 15 (11): 28764-28771 (2015)Multiairport Departure Scheduling via Multiagent Reinforcement Learning., , , and . IEEE Intell. Transp. Syst. Mag., 16 (2): 102-116 (March 2024)Mitigating adversarial perturbations via weakly supervised object location and regions recombination., , , and . Mach. Vis. Appl., 33 (2): 34 (2022)Mining and Analyzing User Feedback from App Reviews: An Econometric Approach., , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 841-848. IEEE, (2018)A study of arbitrary gait pattern generation for turning of a bio-inspired hexapod robot., , , , and . Robotics Auton. Syst., (2017)Graph Reinforcement Learning for Multi-Aircraft Conflict Resolution., , , , , and . IEEE Trans. Intell. Veh., 9 (3): 4529-4540 (March 2024)Query-dominant User Interest Network for Large-Scale Search Ranking., , , , , , , , , and 2 other author(s). CIKM, page 629-638. ACM, (2023)Distributed Denial of Service Attacks Detection Method Based on Conditional Random Fields., , , and . J. Networks, 8 (4): 858-865 (2013)Which App is Going to Die? A Framework for App Survival Prediction With Multitask Learning., , , , , and . IEEE Trans. Mob. Comput., 21 (2): 728-739 (2022)