Publications 2023

Academic Journals

  1. Nathalie Bertrand, Hugo Francon, Nicolas Markey. Synchronizing words under LTL constraints. Information Processing Letters, 182, August 2023. details doi pdf
  2. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Transactions on Computational Logic, 24(3):1-38, July 2023. details doi pdf
  3. Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune. Dealing with sensor and actuator deception attacks in supervisory control. Automatica, 147, January 2023. details doi pdf
  4. Arthur Queffelec, Ocan Sankur, Francois Schwarzentruber. Complexity of planning for connected agents in a partially known environment. Theoretical Computer Science, 941:202-220, January 2023. details doi

International Conferences

  1. Nicolas Markey. Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). In FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, Volume 14138, Pages 3-12, Antwerp, Belgium, September 2023. details doi pdf
  2. Saumya Shankar, Srinivas Pinisetty, Thierry Jéron. Bounded-Memory Runtime Enforcement of Timed Properties. In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)., Alexander Artikis, Florian Bruse, Luke Hunsberger (eds.), Demokritos - Athènes, Greece, September 2023. details doi pdf
  3. Isseinie Calviac, Ocan Sankur, Francois Schwarzentruber. Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. In 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), London, United Kingdom, May 2023. details pdf
  4. Ocan Sankur. Timed Automata Verification and Synthesis via Finite Automata Learning. In TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 2023. details pdf
  5. Bastien Thomas, Ocan Sankur. PyLTA: A Verification Tool for Parameterized Distributed Algorithms. In TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 2023. details pdf

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic