Gabriel Corona

According to our database, Gabriel Corona authored at least 5 papers between 2010 and 2018.

Collaborative distances:

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

2018

System-level state equality detection for the formal dynamic verification of legacy distributed applications.

Marion Guthmuller, Gabriel Corona, Martin Quinson

J. Log. Algebraic Methods Program., 2018

Sleep Activity Recognition Using Binary Motion Sensors.

Yassine El-Khadiri, Gabriel Corona, Cédric Rose, François Charpillet

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2011

Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP. (Using heuristic belief points for Dec-POMDP planning).

Gabriel Corona

PhD thesis, 2011

2010

Distribution sur les croyances pour la planification de Dec-POMDP PSMBDP.

Gabriel Corona, François Charpillet

Rev. d'Intelligence Artif., 2010

Distribution over Beliefs for Memory Bounded Dec-POMDP Planning.

Gabriel Corona, François Charpillet

Proceedings of the UAI 2010, 2010