Baptiste Fievet

According to our database, Baptiste Fievet authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

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