Christophe Garion

Available identifiers

zbMath Open garion.christopheMaRDI QIDQ1768905

List of research outcomes

Publication	Date of Publication	Type
Norms and deontic logic	2024-09-11	Paper
Verification of machine learning based cyber-physical systems: a comparative study	2024-02-21	Paper
Automated analysis of Stateflow models	2019-01-10	Paper
Querying several conflicting databases	2009-11-30	Paper
Ability in a Multi-agent Context: A Model in the Situation Calculus	2009-04-28	Paper
Answering queries addressed to several databases according to a majority merging approach	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3046830	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4329185	2002-10-15	Paper

Research outcomes over time

This page was built for person: Christophe Garion