48 citations · 241 across the 30 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.GT2022
Non-Blind Strategies in Timed Network Congestion Games
Aline Goeminne, Nicolas Markey, Ocan Sankur
Network congestion games are a convenient model for reasoning about routing problems in a network: agents have to move from a source to a target vertex while avoiding congestion, m…
cs.FL2022
Parameterized safety verification of round-based shared-memory systems
Nathalie Bertrand, Nicolas Markey, Ocan Sankur +1
We consider the parameterized verification problem for distributed algorithms where the goal is to develop techniques to prove the correctness of a given algorithm regardless of th…