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 | 2021-05-06 | Paper |
| Towards an updatable strategy logic (available as arXiv preprint) | 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
