Search Results - N. O. Garanina

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Model Checking of Distributed Systems with Affine Data Structures

    Model Checking of Distributed Systems with Affine Data Structures by N. O. Garanina

    Published 2010-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Common Knowledge in Well-structured Perfect Recall Systems

    Common Knowledge in Well-structured Perfect Recall Systems by N. O. Garanina

    Published 2013-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Optimization Procedures in Affine Model Checking

    Optimization Procedures in Affine Model Checking by N. O. Garanina

    Published 2011-12-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution

    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution by N. O. Garanina, E. A. Sidorova

    Published 2016-12-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem) by E. V. Bodin, N. O. Garanina, N. V. Shilov

    Published 2011-06-01
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Using SPIN for Verification of Multi-agent Data Analysis

    Using SPIN for Verification of Multi-agent Data Analysis by N. O. Garanina, E. V. Bodin, E. A. Sidorova

    Published 2014-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: