2023 | |
---|---|

[BFM23] | Nathalie Bertrand, Hugo Francon, and Nicolas Markey. Synchronizing words under LTL constraints. Information Processing Letters 182. Elsevier, August 2023. |

[BKM+23] | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, and Giuseppe Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviours. ACM Transactions on Computational Logic 24(3):21:1-21:38. ACM Press, July 2023. |

[Mar23] | Nicolas Markey. Computing the price of anarchy in atomic network congestion games (invited talk). In FORMATS'23, Lecture Notes in Computer Science 14138, pages 3-12. Springer-Verlag, September 2023. |

[NJM+23] | Reiya Noguchi, Thierry Jéron, Nicolas Markey, and Ocan Sankur. Method and system for correcting the operation of a target computer system by using timed requirements. Patent EP 4 064 057 B1, July 2023, |

[AAB23] | Shaull Almagor, Daniel Assa, and Udi Boker. Synchronized CTL over One-Counter Automata. In FSTTCS'23, Leibniz International Proceedings in Informatics 284, pages 19:1-19:22. Leibniz-Zentrum für Informatik, December 2023. |

[BL23] | Udi Boker and Karoliina Lehtinen. When a Little Nondeterminism Goes a Long Way: an Introduction to History-Determinism. SIGLOG News 35:24-51. ACM Press, January 2023. |

[CDS23] | Roberto Cominetti, Valerio Dose, and Marco Scarsini. The price of anarchy in routing games as a function of the demand. Mathematical Programming. 2023. To appear. |

[FBB+23] | Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer, Romain Brenguier, Arnaud Carayol, John Fearnley, Florian Gimbert, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, and Mateusz Skomra. Games on graphs. Technical Report 2305.10546, arXiv, May 2023. |

[Gan23] | Ritam Ganguly. Runtime verification of distributed systems. PhD thesis, Michigan State University, USA, 2023. |

[HK23] | Émile Hazard and Denis Kuperberg. Explorable automata. In CSL'23, Leibniz International Proceedings in Informatics 252, pages 24:1-24:18. Leibniz-Zentrum für Informatik, February 2023. |

[WMR+23] | Zijun Wu, Rolf H. Möhring, Chunying Ren, and Dachaun Xu. A convergence analysis of the price of anarchy in atomic congestion games. Mathematical Programming 199(1):937-993. May 2023. |

Search

Displayed 11 resultsList of authors

- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1