ERC project EQualIS

List of publications (updated August 20, 2019)



The list can be found here.

2019
[81]Patricia Bouyer, "On the computation of Nash equilibria in games on graphs", In Proceedings of the 26th International Symposium on Temporal Representation and Reasoning (TIME'19), Leibniz-Zentrum für Informatik, 2019. [pdf]
[80]Patricia Bouyer, "A Note on Game Theory and Verification", In Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19), Springer, 2019. [pdf]
[79]Patricia Bouyer, Nathan Thomasset, "Nash equilibria in games over graphs equipped with a communication mechanism", In Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS'19), Leibniz-Zentrum für Informatik, Aachen, Germany, 2019. [pdf]
[78]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli, "Reasoning about Quality and Fuzziness of Strategic Behaviours", In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), ijcai.org, Shangai, China, 2019. [pdf] [doi]
[77]Mauricio González, Patricia Bouyer, Samson Lasaulce, Nicolas Markey, "Optimisation en présence de contraintes en probabilité et processus Markoviens contrôlés", In Actes du XXVIIeme colloque GRETSI, Juan-les-Pins, France, 2019. [pdf]
[76]Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar, "Reconfiguration and messages losses in parameterized broadcast protocols", In Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19), Leibniz-Zentrum für Informatik, Amsterdam, The Netherlonds, 2019. [pdf]
[75]Victor Roussanaly, Ocan Sankur, Nicolas Markey, "Abstraction Refinement Algorithms for Timed Automata", In Proceedings of the 31st International Conference on Computer Aided Verification (CAV'19), Springer, vol. 11561, pp. 22-40, 2019. [pdf] [doi]
[74]Alain Finkel, Serge Haddad, Igor Khmelnitsky, "Coverability and Termination in Recursive Petri Nets", In Proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'19), Springer, vol. 11522, Aachen, Germany, pp. 429-448, 2019. [pdf] [doi]
[73]Benedikt Bollig, Patricia Bouyer, Fabian Reiter, "Identifiers in Registers -- Describing Network Algorithms with Logic", In Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19), Springer, vol. 11425, Prague, Czech Republic, pp. 115-132, 2019. [pdf] [doi]
[72]Samy Jaziri,"Automata on Timed Structures" (submitted), 2019. [pdf]
[71]Mauricio González, "No title yet (soon submitted)", 2019.
[70]Patrick Gardy, Patricia Bouyer, Nicolas Markey, "Dependences in Strategy Logic", In Theory of Computing Systems, Springer, 2019. [pdf]
[69]Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar, "Concurrent parameterized games" (Submitted), 2019.
[68]Étienne André, Didier Lime, Nicolas Markey, "Language Preservation Problems in Parametric Timed Automata" (Submitted), 2019.
2018
[67]Patricia Bouyer, Samy Jaziri, Nicolas Markey, "Efficient Timed Diagnosis Using Automata with Timed Domains", In Proceedings of the 18th International Conference on Runtime Verification (RV'18), vol. 11237, Limassol, Cyprus, pp. 205-221, 2018. [pdf] [doi]
[66]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier, "When are Stochastic Transition Systems Tameable?", In Journal of Logic and Algebraic Methods in Programming, Elsevier Science Publishers, vol. 99, pp. 41-96, 2018. [pdf] [doi]
[65]Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour, "Multi-weighted Markov decision processes with reachability objectives", In Proceedings of the 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'18), vol. 277, Saarbrücken, Germany, pp. 250-264, 2018. [pdf] [doi]
[64]Béatrice Bérard, Patricia Bouyer, Vincent Jugé, "Finite bisimulations for dynamical systems with overlapping trajectories", In Proceedings of the 27th Annual EACSL Conference on Computer Science Logic (CSL'18), Leibniz-Zentrum für Informatik, vol. 119, Birmingham, UK, pp. 26:1-26:17, 2018. [pdf] [doi]
[63]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier, "Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty", In Proceedings of the 22nd International Symposium on Formal Methods (FM'18), Springer, vol. 10951, Oxford, UK, pp. 203-221, 2018. [doi]
[62]Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad, "Integrating Simulink Models into the Model Checker Cosmos", In Proceedings of the 39th International Conference on Applications and Theory of Petri Nets (PETRI NETS'18), Springer, vol. 10877, Bratislava, Slovakia, pp. 363-373, 2018. [pdf] [doi]
[61]Serge Haddad, "Memoryless determinacy of finite parity games: Another simple proof", In Information Processing Letters, Elsevier Science Publishers, vol. 132, pp. 19-21, 2018. [pdf] [doi]
[60]Patricia Bouyer, "Games on graphs with a public signal monitoring", In Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18), Springer, vol. 10803, Thessaloniki, Greece, pp. 530-547, 2018. [pdf] [doi]
[59]A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey, "Parameterized verification of synchronization in constrained reconfigurable broadcast networks", In Proceedings of the 24th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'18) -- Part II, Springer, vol. 10806, pp. 38-54, 2018. [pdf] [doi]
[58]Benoît Barbot, Marco Beccuti, Giuliana Franceschinis, Serge Haddad, Claudine Picaronny, "Bounds Computation for Symmetric Nets", Technical report, HAL-Inria, no. hal-01726011, 2018. [pdf]
[57]Patrick Gardy, Patricia Bouyer, Nicolas Markey, "Dependences in Strategy Logic", In Proceedings of the 35th Annual Symposium on Theoretical Aspects of Computer Science (STACS'18), Leibniz-Zentrum für Informatik, vol. 96, Caen, France, pp. 34:1-34:15, 2018. [pdf] [doi]
[56]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin, "Compositional synthesis of state-dependent switching control", In Theoretical Computer Science, Elsevier Science Publishers, vol. 750, pp. 53-68, 2018. [pdf] [doi]
[55]Olivier Carton, Bruno Guillon, Fabian Reiter, "Counter Machines and Distributed Automata", In Proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA'18), Springer, vol. 10875, pp. 13-28, 2018. [pdf] [doi]
[54]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux, "A Tale of Two Diagnoses in Probabilistic Systems", In Information and Computation, Elsevier Science Publishers, 2018. [pdf]
2017
[53]Béatrice Bérard, Serge Haddad, Engel Lefaucheux, "Probabilistic Disclosure: Maximisation vs. Minimisation", In Proceedings of the 37th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'17), Leibniz-Zentrum für Informatik, vol. 93, Kanpur, India, pp. 13:1-13:14, 2017. [pdf] [doi]
[52]Pierre Carlier, "Verification of Stochastic Timed Automata", PhD thesis, Université Paris-Saclay, France and Université de Mons, Belgique, 2017. [pdf]
[51]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux, "Diagnostic et contrôle de la dégradation des systèmes probabilistes", In Actes du 11ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'17), HAL, Marseille, France, 2017. [pdf]
[50]Patricia Bouyer, Samy Jaziri, Nicolas Markey, "On the Determinization of Timed Systems", In Proceedings of the 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'17), Springer, vol. 10419, Berlin, Germany, pp. 25-41, 2017. [pdf] [doi]
[49]Patricia Bouyer, Serge Haddad, Vincent Jugé, "Unbounded product-form Petri nets", In Proceedings of the 28th International Conference on Concurrency Theory (CONCUR'17), Leibniz-Zentrum für Informatik, vol. 85, Berlin, Germany, pp. 31:1-31:16, 2017. [pdf] [doi]
[48]Mauricio González, Olivier Beaude, Patricia Bouyer, Samson Lasaulce, Nicolas Markey, "Stratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévision", In Actes du XXVIeme colloque GRETSI, Juan-les-Pins, France, 2017. [pdf]
[47]Nicolas Markey, "Temporal logics for multi-agent systems (invited talk)", In Proceedings of the 42th International Symposium on Mathematical Foundations of Computer Science (MFCS'17), Leibniz-Zentrum für Informatik, vol. 84, pp. 84:1-84:3, 2017. [pdf] [doi]
[46]Patrick Gardy, "Semantics of Strategy Logic", PhD thesis, Université Paris-Saclay, France, 2017. [pdf]
[45]Patricia Bouyer, Nicolas Markey, Steen Vester, "Nash Equilibria in Symmetric Graph Games with Partial Observation", In Information and Computation, Elsevier Science Publishers, vol. 254, no. 2, pp. 238-258, 2017. [pdf] [doi]
[44]Patricia Bouyer, Vincent Jugé, "Dynamic Complexity of the Dyck Reachability", In Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17), Springer, pp. 265-280, 2017. [pdf] [doi]
[43]Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann, "Bounding Average-energy Games", In Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17), Springer, pp. 179-195, 2017. [pdf] [doi]
[42]Patricia Bouyer, Nicolas Markey, Vincent Jugé, "Courcelle's Theorem Made Dynamic", Technical report, Computing Research Repository, no. 1702.05183, 2017. [pdf]
[41]Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier, "Timed automata abstraction of switched dynamical systems using control funnels", In Real-Time Systems, Kluwer Academic Publishers, vol. 53, no. 3, pp. 327-353, 2017. [pdf] [doi]
[40]Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad, "The Logical View on Continuous Petri Nets", In ACM Transactions on Computational Logic, ACM Press, vol. 18, no. 3, pp. 24:1-24:28, 2017. [pdf] [doi]
2016
[39]Patricia Bouyer, Nicolas Markey, Vincent Jugé, "Dynamic Complexity of Parity Games with Bounded Tree-Width", Technical report, Computing Research Repository, no. 1610.00571, 2016. [pdf]
[38]Patricia Bouyer, Nicolas Markey, Daniel Stan, "Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games", In Proceedings of the 7th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'16), vol. 226, pp. 61-75, 2016. [pdf] [doi]
[37]Amélie David, François Laroussinie, Nicolas Markey, "On the expressiveness of QCTL", In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), Leibniz-Zentrum für Informatik, vol. 59, pp. 28:1-28:15, 2016. [pdf] [doi]
[36]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, "Stochastic Timed Games Revisited", In Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS'16), Leibniz-Zentrum für Informatik, vol. 58, pp. 8:1-8:14, 2016. [pdf] [doi]
[35]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux, "Diagnosis in Infinite-State Probabilistic Systems", In Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), Leibniz-Zentrum für Informatik, vol. 59, pp. 37:1-37:15, 2016. [pdf] [doi]
[34]Patricia Bouyer, "Optimal Reachability in Weighted Timed Automata and Games", In Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS'16), Leibniz-Zentrum für Informatik, vol. 58, pp. 3:1-3:3, 2016. [pdf] [doi]
[33]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan, "Reachability in Networks of Register Protocols under Stochastic Schedulers", In Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP'16) -- Part II, Leibniz-Zentrum für Informatik, vol. 55, pp. 106:1-106:14, 2016. [pdf] [doi]
[32]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen, "Average-energy games", In Acta Informatica, Springer, pp. 1-37, 2016. [pdf] [doi]
[31]Nathalie Bertrand, Patricia Bouyer, \relax Thomas Brihaye, Pierre Carlier, "Analysing Decisive Stochastic Processes", In Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP'16) -- Part II, Leibniz-Zentrum für Informatik, vol. 55, pp. 101:1-101:14, 2016. [pdf] [doi]
[30]Patricia Bouyer, Maximilien Colange, Nicolas Markey, "Symbolic Optimal Reachability in Weighted Timed Automata", In Proceedings of the 28th International Conference on Computer Aided Verification (CAV'16) -- Part I, Springer, vol. 9779, pp. 513-530, 2016. [pdf] [doi]
[29]Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, "Compositional Design of Stochastic Timed Automata", In Proceedings of the 11th International Computer Science Symposium in Russia (CSR'16), Springer, vol. 9691, pp. 117-130, 2016. [pdf] [doi]
[28]Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad, "Approaching the Coverability Problem Continuously", In Proceedings of the 22th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'16), Springer, vol. 9636, pp. 480-496, 2016. [pdf] [doi]
[27]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux, "Accurate Approximate Diagnosability of Stochastic Systems", In Proceedings of the 10th International Conference on Language and Automata Theory and Applications (LATA'16), Springer, vol. 9618, pp. 549-561, 2016. [pdf] [doi]
[26]Patricia Bouyer, Patrick Gardy, Nicolas Markey, "On the semantics of Strategy Logic", In Information Processing Letters, Elsevier Science Publishers, vol. 116, no. 2, pp. 75-79, 2016. [pdf] [doi]
2015
[25]Patricia Bouyer, Patrick Gardy, Nicolas Markey, "Weighted strategy logic with boolean goals over one-counter games", In Proceedings of the 35th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Leibniz-Zentrum für Informatik, vol. 45, pp. 69-83, 2015. [pdf] [doi]
[24]François Laroussinie, Nicolas Markey, "Augmenting ATL with strategy contexts", In Information and Computation, Elsevier Science Publishers, vol. 245, pp. 98-123, 2015. [pdf] [doi]
[23]François Laroussinie, Nicolas Markey, Arnaud Sangnier, "ATLsc with partial observation", In Proceedings of the 6th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'15), vol. 193, pp. 43-57, 2015. [pdf] [doi]
[22]Patricia Bouyer, Erwin Fang, Nicolas Markey, "Permissive strategies in timed automata and games", In Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS'15), European Association of Software Science and Technology, vol. 72, 2015. [pdf] [doi]
[21]Patricia Bouyer, Samy Jaziri, Nicolas Markey, "On the Value Problem in Weighted Timed Games", In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15), Leibniz-Zentrum für Informatik, vol. 42, pp. 311-324, 2015. [pdf] [doi]
[20]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen, "Average-energy games", In Proceedings of the 6th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'15), vol. 193, pp. 1-15, 2015. [pdf] [doi]
[19]Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber, "Timed automata abstraction of switched dynamical systems using control funnels", In Proceedings of the 13th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'15), Springer, vol. 9268, pp. 60-75, 2015. [pdf] [doi]
[18]Étienne André, Nicolas Markey, "Language Preservation Problems in Parametric Timed Automata", In Proceedings of the 13th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'15), Springer, vol. 9268, pp. 27-43, 2015. [pdf] [doi]
[17]Patricia Bouyer, "On the optimal reachability problem in weighted timed automata and games", In Proceedings of the 7th Workshop on Non-Classical Models of Automata and Applications (NCMA'15), Austrian Computer Society, vol. 318, pp. 11-36, 2015. [pdf] [doi]
[16]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels, "Pure Nash Equilibria in Concurrent Games", In Logical Methods in Computer Science, vol. 11, no. 2:9, 2015. [pdf] [doi]
[15]Patricia Bouyer, Nicolas Markey, Ocan Sankur, "Robust Reachability in Timed Automata and Games: A Game-based Approach", In Theoretical Computer Science, Elsevier Science Publishers, vol. 563, pp. 43-74, 2015. [pdf] [doi]
2014
[14]Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi, "Synchronizing words for weighted and timed automata", In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Leibniz-Zentrum für Informatik, vol. 29, pp. 121-132, 2014. [pdf] [doi]
[13]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdziński, "Stochastic Timed Automata", In Logical Methods in Computer Science, vol. 10, no. 4:6, 2014. [pdf] [doi]
[12]François Laroussinie, Nicolas Markey, "Quantified CTL: Expressiveness and Complexity", In Logical Methods in Computer Science, vol. 10, no. 4:17, 2014. [pdf] [doi]
[11]Patricia Bouyer, Nicolas Markey, Daniel Stan, "Mixed Nash Equilibria in Concurrent Games", In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Leibniz-Zentrum für Informatik, vol. 29, pp. 351-363, 2014. [pdf] [doi]
[10]Patricia Bouyer, Patrick Gardy, Nicolas Markey, "Quantitative verification of weighted Kripke structures", In Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), Springer, vol. 8837, pp. 64-80, 2014. [pdf] [doi]
[9]Nicolas Markey, Steen Vester, "Symmetry Reduction in Infinite Games with Finite Branching", In Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), Springer, vol. 8837, pp. 281-296, 2014. [pdf] [doi]
[8]Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel, "Averaging in LTL", In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14), Springer, vol. 8704, pp. 266-280, 2014. [pdf] [doi]
[7]Patricia Bouyer, Nicolas Markey, Steen Vester, "Nash Equilibria in Symmetric Games with Partial Observation", In Proceedings of the 2nd International Workshop on Strategic Reasoning (SR'14), vol. 146, pp. 49-55, 2014. [pdf] [doi]
[6]Patricia Bouyer, Kim G. Larsen, Nicolas Markey, "Lower-Bound Constrained Runs in Weighted Timed Automata", In Performance Evaluation, Elsevier Science Publishers, vol. 73, pp. 91-109, 2014. [pdf] [doi]
[5]Ocan Sankur, Patricia Bouyer, Nicolas Markey, "Shrinking Timed Automata", In Information and Computation, Elsevier Science Publishers, vol. 234, pp. 107-132, 2014. [pdf] [doi]
2013
[4]Patricia Bouyer, Nicolas Markey, Ocan Sankur, "Robustness in timed automata", In Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP'13), Springer, vol. 8169, pp. 1-18, 2013. [pdf] [doi]
[3]Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier, "Robust Controller Synthesis in Timed Automata", In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13), Springer, vol. 8052, pp. 546-560, 2013. [pdf] [doi]
[2]Patricia Bouyer, Nicolas Markey, Ocan Sankur, "Robust Weighted Timed Automata and Games", In Proceedings of the 11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'13), Springer, vol. 8053, pp. 31-46, 2013. [pdf] [doi]
[1]Franccois Laroussinie, Nicolas Markey, "Satisfiability of ATL with strategy contexts", In Proceedings of the 4th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'13), vol. 119, pp. 208-223, 2013. [pdf] [doi]

About LSV