( en | de | ru )

 

Disambiguation of "Ye, Lina"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Heinz Linack

 

Other publications of authors with the same name

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)Philosophers May Dine - Definitively!, , and . IFM, volume 12546 of Lecture Notes in Computer Science, page 419-439. Springer, (2020)About Decisiveness of Dynamic Probabilistic Models., , and . CONCUR, volume 279 of LIPIcs, page 14:1-14:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Active Prediction for Discrete Event Systems., , , and . FSTTCS, volume 182 of LIPIcs, page 48:1-48:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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)A Coloured Petri Nets Based Attack Tolerance Framework., , , , and . APSEC, page 159-168. IEEE, (2020)Diagnosability Analysis of Discrete Event Systems with Autonomous Components., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 105-110. IOS Press, (2010)Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise., , , , , , , and . Log. Methods Comput. Sci., (2024)