Showing 1 - 4 results of 4 for search 'Simon Busard', query time: 5.22s Refine Results
  1. 1
    A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability

    A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability by Simon Busard, Charles Pecheur

    Published 2017-09-01
    Get full text
    Article
  2. 2
    Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

    Rich Counter-Examples for Temporal-Epistemic Logic Model Checking by Simon Busard, Charles Pecheur

    Published 2012-02-01
    Get full text
    Article
  3. 3
    Reasoning about Strategies under Partial Observability and Fairness Constraints

    Reasoning about Strategies under Partial Observability and Fairness Constraints by Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi

    Published 2013-03-01
    Get full text
    Article
  4. 4
    Verification of railway interlocking systems

    Verification of railway interlocking systems by Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus

    Published 2015-06-01
    Get full text
    Article

Search Tools: