Christophe Garion

Available identifiers

zbMath Open garion.christopheMaRDI QIDQ1768905

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christophe Garion