Igor Khmelnitsky | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Daniel Neider
31 publications
Rajarshi Roy
17 publications
Benedikt Bollig
14 publications
Alain Finkel
10 publications
Martin Leucker
7 publications
Serge Haddad
4 publications
Lina Ye
4 publications
Benoit Barbot
3 publications

research

∙ 09/21/2022

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

Angluin's L* algorithm learns the minimal (complete) deterministic finit...

0 Igor Khmelnitsky, et al. ∙

research

∙ 09/14/2021

Coverability, Termination, and Finiteness in Recursive Petri Nets

In the early two-thousands, Recursive Petri nets have been introduced in...

0 Alain Finkel, et al. ∙

research

∙ 09/22/2020

Property-Directed Verification of Recurrent Neural Networks

This paper presents a property-directed approach to verifying recurrent ...

24 Igor Khmelnitsky, et al. ∙