Julie Parreaux

According to our database1, Julie Parreaux authored at least 8 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Synthesis of Robust Optimal Strategies in Weighted Timed Games.
CoRR, 2024

Synthesis of Robust Optimal Real-Time Systems.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023
Counterfactual Causality for Reachability and Safety based on Distance Functions.
Proceedings of the Fourteenth International Symposium on Games, 2023

2022
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Playing Stochastically in Weighted Timed Games to Emulate Memory.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020
Reaching Your Goal Optimally by Playing at Random.
CoRR, 2020

Reaching Your Goal Optimally by Playing at Random with No Memory.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019


  Loading...