Baptiste Fievet

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Functional Programs

Multicriteria Optimization

Expectation Maximization

Top Venues

ACM Trans. Comput. Log.

Publications

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis. ACM Trans. Comput. Log. 25 (2) (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version). CoRR (2024)
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol
On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS (3) (2024)
Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis (Extended Version). CoRR (2022)