Search Results - Heriban, Adam

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space

    Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space by Défago, Xavier, Heriban, Adam, Tixeuil, Sébastien, Wada, Koichi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds

    Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds by Heriban, Adam, Tixeuil, Sébastien

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space

    Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space by Defago, Xavier, Heriban, Adam, Tixeuil, Sebastien, Wada, Koichi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Unreliable Sensors for Reliable Efficient Robots

    Unreliable Sensors for Reliable Efficient Robots by Heriban, Adam, Tixeuil, Sébastien

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space

    Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space by Défago, Xavier, Heriban, Adam, Tixeuil, Sébastien, Wada, Koichi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Optimally Gathering Two Robots

    Optimally Gathering Two Robots by Heriban, Adam, Défago, Xavier, Tixeuil, Sébastien

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

Search Tools: