A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability

by Simon Busard, Charles Pecheur
Published 2017-09-01

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

by Simon Busard, Charles Pecheur
Published 2012-02-01

Reasoning about Strategies under Partial Observability and Fairness Constraints

by Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Published 2013-03-01

Verification of railway interlocking systems

by Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus
Published 2015-06-01