Annick Truffert

According to our database, Annick Truffert authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Improved bound for stochastic formal correctness of numerical algorithms.

Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert

Innov. Syst. Softw. Eng., 2010

2009

Stochastic Formal Methods for Hybrid Systems.

Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert

Proceedings of the First NASA Formal Methods Symposium, 2009

A Formal Theory of Cooperative TU-Games.

Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou

Proceedings of the Modeling Decisions for Artificial Intelligence, 2009