Author of the publication

Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System.

, and . CoRR, (2016)

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

OpinionML - Opinion Markup Language for Sentiment Representation., , , , , , , , , and . Symmetry, 11 (4): 545 (2019)Combining Granularity-based Topic-Dependent and Topic-Independent Evidences for Opinion Detection.. Paul Sabatier University, Toulouse, France, (2011)Comprehension of polarity of articles by citation sentiment analysis using TF-IDF and ML classifiers., , , , , , and . PeerJ Comput. Sci., (2022)Opinion Detection in Blogs.. INFORSID, page 453-454. (2009)Correction: OpinionML - Opinion Markup Language for Sentiment Representation. Symmetry 2019, 11, 545., , , , , , , , , and . Symmetry, 12 (2): 187 (2020)Additive Angular Margin Loss in Deep Graph Neural Network Classifier for Learning Graph Edit Distance., , , , , and . IEEE Access, (2020)A Gray Image Encryption Technique Using the Concept of Water Waves, Chaos and Hash Function., , and . IEEE Access, (2021)Urdu handwritten text recognition: a survey., , , , , and . IET Image Process., 14 (11): 2291-2300 (2020)TAER: Time Aware Entity Retrieval, , , and . Proc. of ACM Conference on Information and Knowledge Management (CIKM), Toronto, Canada, 2010., (2010)Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System., and . CoRR, (2016)