User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 6 results.
    • Dissertation
    Symbolic model checking of multi-modal logics : uniform strategies and rich explanations
    Busard, Simon[UCL] (2017)
    • Journal article
    Comparing approaches for model-checking strategies under imperfect information and fairness constraints
    Busard, Simon Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.4, p. 449-469 (2019)
    • Speech
    A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
    Busard, Simon[UCL] Pecheur, Charles[UCL] (2017) Eighth International Symposium on Games, Automata, Logics and Formal Verification — Roma, Italy
    • Speech
    Verification of railway interlocking systems
    Busard, Simon[UCL] Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Pecheur, Charles[UCL] Schaus, Pierre[UCL] (2015) 4th International Workshop on Engineering Safety and Security Systems 2015 — Oslo, Norway
    • Journal article
    Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
    Busard, Simon[UCL] Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2015) Information and Computation — Vol. 242, no.0, p. 128-156 (2015)
    • Speech
    Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
    Busard, Simon[UCL] Pecheur, Charles[UCL] Qu, Hongyang Raimondi, Franco (2014) 16th International Conference on Formal Engineering Methods, ICFEM 2014 — Luxembourg, Luxembourg