Étienne Prun

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Multi Agent Planning

Support Vector Machine Svm

Interacting Agents

Top Venues

Publications

Thierry Lecomte, David Déharbe, Denis Sabatier, Étienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon
Low Cost High Integrity Platform. CoRR (2020)
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
Applying a Formal Method in Industry: a 25-Year Trajectory. CoRR (2020)
Thierry Lecomte, David Déharbe, Étienne Prun, Erwan Mottin
Applying a Formal Method in Industry: A 25-Year Trajectory. SBMF (2017)
Lilian Burdy, David Déharbe, Étienne Prun
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". F-IDE@FM (2016)