Julie Parreaux

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Weighted Majority

Nash Equilibria

Weighting Schemes

Distance Function

Top Venues

Publications

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Synthesis of Robust Optimal Real-Time Systems. MFCS (2024)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Synthesis of Robust Optimal Strategies in Weighted Timed Games. CoRR (2024)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF (2023)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. CoRR (2023)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. CoRR (2022)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. CONCUR (2022)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Playing Stochastically in Weighted Timed Games to Emulate Memory. ICALP (2021)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Playing Stochastically in Weighted Timed Games to Emulate Memory. CoRR (2021)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Reaching Your Goal Optimally by Playing at Random. CoRR (2020)
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
Reaching Your Goal Optimally by Playing at Random with No Memory. CONCUR (2020)
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail (2019)