Pierre-François Massiani
ORCIDPublication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Publications (10 Years): 5
Publications
- 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