Pierre-François Massiani
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 7
Publications (10 Years): 7
Publications
- Pierre-François Massiani, Sebastian Trimpe, Friedrich Solowjow
- Pierre-François Massiani, Mona Buisson-Fenet, Friedrich Solowjow, Florent Di Meglio, Sebastian Trimpe
- Pierre-François Massiani, Steve Heim, Friedrich Solowjow, Sebastian Trimpe
- Pierre-François Massiani, Mona Buisson-Fenet, Friedrich Solowjow, Florent Di Meglio, Sebastian Trimpe
- Pierre-François Massiani, Steve Heim, Sebastian Trimpe
- Pierre-François Massiani, Steve Heim, Friedrich Solowjow, Sebastian TrimpeSafe Value Functions. CoRR (2021)
- Pierre-François Massiani, Steve Heim, Sebastian Trimpe