Igor Khmelnitsky

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Discrete Event Systems

Recurrent Neural Networks

Top Venues

Discret. Event Dyn. Syst.

Publications

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20 (1) (2024)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF (2022)
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI (2021)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. 31 (2) (2021)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability, Termination, and Finiteness in Recursive Petri Nets. CoRR (2021)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae 183 (1-2) (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification of Recurrent Neural Networks. CoRR (2020)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS (2020)
Serge Haddad, Igor Khmelnitsky
Dynamic Recursive Petri Nets. Petri Nets (2020)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability and Termination in Recursive Petri Nets. Petri Nets (2019)