Christophe Chareton

发表

Updatable Strategy Logic Research Report Multi-agent Temporal Logics Are Receiving Growing Interest in Contemporary Research. since the Seminal Work [2 2] of R. Alur, Th. A. Henzinger, and O. Kupferman on Alternating-time Temporal Logic (atl-atl

Julien Brunel, Christophe Chareton, D. Chemouil, 2013 .

Formal Methods for Quantum Programs: A Survey

B. Valiron, Sébastien Bardin, R. Vilmart, 2021, 2109.06493.

An Automated Deductive Verification Framework for Circuit-building Quantum Programs

B. Valiron, François Bobot, Sébastien Bardin, 2020, ESOP.

Toward certified quantum programming pdf

Christophe Chareton, Franccois Bobot, Valentin Perrelle, 2018, ArXiv.

A Deductive Verification Framework for Circuit-building Quantum Programs

Christophe Chareton, S'ebastien Bardin, Franccois Bobot, 2020 .

An Automated Deductive Verication Framework for Circuit-building Quantum Programs

Christophe Chareton, 2022 .

Strategic Knowledge of the Past in Quantum Cryptography

Hans van Ditmarsch, Christophe Chareton, H. V. Ditmarsch, 2017, LORI.

Formal Methods for Quantum Programs: A Survey pdf

Zhaowei Xu, Christophe Chareton, Renaud Vilmart, 2021, ArXiv.

A logic with revocable and refinable strategies

David Chemouil, Julien Brunel, Christophe Chareton, 2015, Inf. Comput..

Towards an Updatable Strategy Logic

David Chemouil, Julien Brunel, Christophe Chareton, 2013, SR.