I. Khmelnitsky

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search

Menno van Zaanen, A. Finkel, S. Haddad, 2021, ICGI.

Coverability, Termination, and Finiteness in Recursive Petri Nets

A. Finkel, S. Haddad, I. Khmelnitsky, 2021, Fundam. Informaticae.

LiVe 2022 6th Workshop on Learning in Verification Informal proceedings

Earl T. Barr, S. Ratschan, Charles Sutton, 2022 .

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

S. Haddad, B. Bollig, M. Leucker, 2022, GandALF.

Analysis of recurrent neural networks via property-directed verification of surrogate models

A. Finkel, S. Haddad, B. Bollig, 2022, International Journal on Software Tools for Technology Transfer.

CONNECTION BETWEEN THE LEVEL OF ANESTHESIA AND HEMODYNAMIC AND HEART RATE VARIABILITY

V. Gorbachev, I. Khmelnitsky, Владимир Горбачёв, 2017 .

Relationship of sedation level with hemodynamics and heart rate variability

V. Gorbachev, I. Khmelnitsky, S. Gorbacheva, 2017 .