Sylvain Baro

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 1

Top Topics

Multiple Objectives

Engineering Problems

Multiobjective Evolutionary Algorithms

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Juliette Pochet, Sylvain Baro, Guillaume Sandou
Automatic train supervision for a CBTC suburban railway line using multiobjective optimization. ITSC (2017)
Sylvain Baro
Introduction to PAF!, a Proof Assistant for ML Programs Verification. TYPES (2003)
Sylvain Baro, Pierre Manoury
Un système X Raisonner formellement sur les programmes ML. JFLA (2003)