Search Results - Khmelnitsky, Igor

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Commodification of accelerations for the Karp and Miller Construction

    Commodification of accelerations for the Karp and Miller Construction by Finkel, Alain, Haddad, Serge, Khmelnitsky, Igor

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Analyzing Robustness of Angluin's L$^$ Algorithm in Presence of Noise

    Analyzing Robustness of Angluin's L$^$ Algorithm in Presence of Noise by Ye, Lina, Khmelnitsky, Igor, Haddad, Serge, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Analysis of recurrent neural networks via property-directed verification of surrogate models

    Analysis of recurrent neural networks via property-directed verification of surrogate models by Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Xie, Xuan, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Analyzing Robustness of Angluin's L Algorithm in Presence of Noise

    Analyzing Robustness of Angluin's L Algorithm in Presence of Noise by Khmelnitsky, Igor, Haddad, Serge, Ye, Lina, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Analyzing Robustness of Angluin's L\(^\) Algorithm in Presence of Noise

    Analyzing Robustness of Angluin's L\(^\) Algorithm in Presence of Noise by Ye, Lina, Khmelnitsky, Igor, Haddad, Serge, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Analyzing Robustness of Angluin's L Algorithm in Presence of Noise

    Analyzing Robustness of Angluin's L Algorithm in Presence of Noise by Khmelnitsky, Igor, Haddad, Serge, Ye, Lina, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Coverability, Termination, and Finiteness in Recursive Petri Nets

    Coverability, Termination, and Finiteness in Recursive Petri Nets by Finkel, Alain, Haddad, Serge, Khmelnitsky, Igor

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Property-Directed Verification of Recurrent Neural Networks

    Property-Directed Verification of Recurrent Neural Networks by Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Synthesis of an Expert System for Assessing the Security of Computer Networks Based on a Fuzzy Neural Network

    Synthesis of an Expert System for Assessing the Security of Computer Networks Based on a Fuzzy Neural Network by Kuznichenko, Svitlana, Shvorov, Sergey, Husak, Yurii, Tolok, Igor, Ihor, Muliar

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    The Influence of Ultrashort Electromagnetic Pulses on Unmanned Aerial Vehicle Control Systems

    The Influence of Ultrashort Electromagnetic Pulses on Unmanned Aerial Vehicle Control Systems by Zhyrov, Genadiy, Lienkov, Serhii, Tolok, Igor, Banzak, Oksana, Cheshun, Viktor

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: