Christophe Chareton

From MaRDI portal
Person:1679772

Available identifiers

zbMath Open chareton.christopheMaRDI QIDQ1679772

List of research outcomes





PublicationDate of PublicationType
An automated deductive verification framework for circuit-building quantum programs2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q33887482021-05-06Paper
Strategic knowledge of the past in quantum cryptography2017-11-22Paper
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents2016-04-01Paper
A logic with revocable and refinable strategies2015-06-01Paper
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic2011-11-11Paper

Research outcomes over time

This page was built for person: Christophe Chareton

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1679772&oldid=6376140"
Powered by MediaWiki