( en | de | ru )

 

Disambiguation of "Ye, Lina"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.

, , , , , , , and . GandALF, volume 370 of EPTCS, page 81-96. (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.

Lina Ye

Carmen Linares

Marina Linares

Socrates Linardakis

Carmen Linares

 

Other publications of authors with the same name

Natural Language Processing for Cognitive Analysis of Emotions., , , and . CoRR, (2022)Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search., , , , , , , , and . ICGI, volume 153 of Proceedings of Machine Learning Research, page 113-129. PMLR, (2021)Property-Directed Verification and Robustness Certification of Recurrent Neural Networks., , , , , , , , , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 364-380. Springer, (2021)The HOL-CSP Refinement Toolkit., , and . Arch. Formal Proofs, (2020)A Coloured Petri Nets Based Attack Tolerance Framework., , , , and . APSEC, page 159-168. IEEE, (2020)Introducing Divergence for Infinite Probabilistic Models., , and . RP, volume 14235 of Lecture Notes in Computer Science, page 127-140. Springer, (2023)Automating Abstraction Computation of Hybrid Systems., , , and . CICM Workshops, volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Property-Directed Verification of Recurrent Neural Networks., , , , , , , , and . CoRR, (2020)HOL-CSP Version 2.0., , and . Arch. Formal Proofs, (2019)Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels., , , and . EGC, volume E-39 of RNTI, page 665-666. Editions RNTI, (2023)