Charles Pecheur

MaRDI QIDQ2024338zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability	2021-12-14	Paper
A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability (available as arXiv preprint)	2021-12-14	Paper
Reasoning about strategies under partial observability and fairness constraints	2021-05-06	Paper
Reasoning about strategies under partial observability and fairness constraints (available as arXiv preprint)	2021-05-06	Paper
Producing explanations for rich logics	2021-05-04	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Information and Computation	2015-06-01	Paper
Symbolic Model Checking of Logics with Actions Model Checking and Artificial Intelligence	2007-11-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
scientific article; zbMATH DE number 1759738 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1759767 (Why is no real title available?)	2002-07-22	Paper

Research outcomes over time

This page was built for person: Charles Pecheur