Christophe Chareton
From MaRDI portal
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 |
|---|---|---|
| An automated deductive verification framework for circuit-building quantum programs (available as arXiv preprint) | 2021-10-18 | Paper |
| Towards an updatable strategy logic (available as arXiv preprint) | 2021-05-06 | Paper |
| Towards an updatable strategy logic | 2021-05-06 | Paper |
| Strategic knowledge of the past in quantum cryptography | 2017-11-22 | Paper |
| Evaluating the assignment of behavioral goals to coalitions of agents Lecture Notes in Computer Science | 2016-04-01 | Paper |
| A logic with revocable and refinable strategies Information and Computation | 2015-06-01 | Paper |
| A formal treatment of agents, goals and operations using alternating-time temporal logic Formal Methods, Foundations and Applications | 2011-11-11 | Paper |
Research outcomes over time
This page was built for person: Christophe Chareton
