Gabriel Corona

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Motion Sequences

Top Venues

J. Log. Algebraic Methods Program.

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Yassine El-Khadiri, Gabriel Corona, Cédric Rose, François Charpillet
Sleep Activity Recognition Using Binary Motion Sensors. ICTAI (2018)
Marion Guthmuller, Gabriel Corona, Martin Quinson
System-level state equality detection for the formal dynamic verification of legacy distributed applications. J. Log. Algebraic Methods Program. 96 (2018)
Marion Guthmuller, Martin Quinson, Gabriel Corona
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications. PDP (2015)
Gabriel Corona, François Charpillet
Distribution over Beliefs for Memory Bounded Dec-POMDP Planning CoRR (2012)
Gabriel Corona, François Charpillet
Distribution over Beliefs for Memory Bounded Dec-POMDP Planning. UAI (2010)
Gabriel Corona, François Charpillet
Distribution sur les croyances pour la planification de Dec-POMDP PSMBDP. Rev. d'Intelligence Artif. 24 (4) (2010)