Login / Signup
Julie Parreaux
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 9
Top Topics
Nash Equilibria
Distance Function
Game Play
Weighted Majority
Top Venues
CoRR
CONCUR
GandALF
ICALP
</>
Publications
</>
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)