Baptiste Fievet

According to our database, Baptiste Fievet authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for "Controller Synthesis for Parametric Timed Games".

Mikael Bisgaard Dahlsen-Jensen, Jaco C. van de Pol, Laure Petrucci, Baptiste Fievet

Dataset, May, 2025

Artifact for "Controller Synthesis for Parametric Timed Games".

Mikael Bisgaard Dahlsen-Jensen, Jaco C. van de Pol, Laure Petrucci, Baptiste Fievet

Dataset, April, 2025

Controller Synthesis for Parametric Timed Games.

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

2024

Stackelberg-Pareto Synthesis.

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines

ACM Trans. Comput. Log., April, 2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

CoRR, 2024

On-The-Fly Algorithm for Reachability in Parametric Timed Games.

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games".

Mikael Bisgaard Dahlsen-Jensen, Jaco van de Pol, Laure Petrucci, Baptiste Fievet

Dataset, October, 2023

2022

Stackelberg-Pareto Synthesis (Extended Version).

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines

CoRR, 2022