Igor Khmelnitsky

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