Pecheur, Charles

2 publications

IJCAI 2007 Automatic Verification of Knowledge and Time with NuSMV Alessio Lomuscio, Charles Pecheur, Franco Raimondi

IJCAI 2003 Formal Verification of Diagnosability via Symbolic Model Checking Alessandro Cimatti, Charles Pecheur, Roberto Cavada