Gabriel Corona
According to our database1,
Gabriel Corona
authored at least 5 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
2015
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
2011
Utilisation de croyances heuristiques pour la planification multi-agent dans le cadre des Dec-POMDP. (Using heuristic belief points for Dec-POMDP planning).
PhD thesis, 2011
2010
Rev. d'Intelligence Artif., 2010
Proceedings of the UAI 2010, 2010