Search Results - Zakirzyanov, Ilya

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    BeBoSy: Behavior Examples Meet Bounded Synthesis

    BeBoSy: Behavior Examples Meet Bounded Synthesis by Chivilikhin, Daniil, Zakirzyanov, Ilya, Ulyantsev, Vladimir

    Published in IEEE access
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Active Learning of Formal Plant Models For Cyber-Physical Systems

    Active Learning of Formal Plant Models For Cyber-Physical Systems by Ovsiannikova, Polina, Chivilikhin, Daniil, Ulyantsev, Vladimir, Stankevich, Andrey, Zakirzyanov, Ilya, Vyatkin, Valeriy, Shalyto, Anatoly

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Symmetry Breaking Predicates for SAT-based DFA Identification

    Symmetry Breaking Predicates for SAT-based DFA Identification by Ulyantsev, Vladimir, Zakirzyanov, Ilya, Shalyto, Anatoly

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: