... | ... | @@ -13,7 +13,7 @@ |
|
|
* LAURENT Mathieu: DPOR et Directed Model-Checking pour la vérification de programmes distribués asynchrones
|
|
|
* CHABOT Hector: Static analysis of memory access profiles for real-time tasks
|
|
|
|
|
|
#### Thursday, June 29, 9AM - 11AM: Bertrand Couasnon + Thomas Genet + supervisors. Room Guernesey + Zoom
|
|
|
#### Thursday, June 29, 9AM - 11AM: Isabelle Puaut + Thomas Genet + supervisors. Room Guernesey + Zoom
|
|
|
|
|
|
* LE MARRE Thibaut: Reinforcement learning techniques for Multi-agent path finding with imperfect information
|
|
|
* DESBOIS Victorien: Search Algorithms for Multi-Agent Path Finding
|
... | ... | |