Nicolas Markey

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 63

Top Venues

Publications

Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR (2024)
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
Games on Graphs. CoRR (2023)
Nathalie Bertrand, Hugo Francon, Nicolas Markey
Synchronizing words under LTL constraints. Inf. Process. Lett. 182 (2023)
Nicolas Markey
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS (2023)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24 (3) (2023)
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP (2022)
Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
Repairing Real-Time Requirements. ATVA (2022)
Aline Goeminne, Nicolas Markey, Ocan Sankur
Non-blind Strategies in Timed Network Congestion Games. FORMATS (2022)
Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
Parameterized safety verification of round-based shared-memory systems. CoRR (2022)
Léo Henry, Thierry Jéron, Nicolas Markey
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60 (2) (2022)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability games with relaxed energy constraints. Inf. Comput. 285 (Part) (2022)
Thomas Guyet, Nicolas Markey
Logical Forms of Chronicles. TIME (2022)
Aline Goeminne, Nicolas Markey, Ocan Sankur
Non-Blind Strategies in Timed Network Congestion Games. CoRR (2022)
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
Semilinear Representations for Series-Parallel Atomic Congestion Games. FSTTCS (2022)
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. Formal Aspects Comput. 33 (1) (2021)
Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
Dynamic network congestion games. CoRR (2020)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental Methods for Checking Real-Time Consistency. FORMATS (2020)
Léo Henry, Thierry Jéron, Nicolas Markey
Active Learning of Timed Automata with Unobservable Resets. FORMATS (2020)
Léo Henry, Nicolas Markey, Thierry Jéron
Active learning of timed automata with unobservable resets. CoRR (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing maximally-permissive strategies in acyclic timed automata. CoRR (2020)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. Theory Comput. Syst. 64 (3) (2020)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental methods for checking real-time consistency. CoRR (2020)
Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
Dynamic Network Congestion Games. FSTTCS (2020)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI (2020)
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS (2020)
Étienne André, Didier Lime, Nicolas Markey
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16 (1) (2020)
Victor Roussanaly, Ocan Sankur, Nicolas Markey
Abstraction Refinement Algorithms for Timed Automata. CAV (1) (2019)
Victor Roussanaly, Ocan Sankur, Nicolas Markey
Abstraction Refinement Algorithms for Timed Automata. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR (2019)
Loïc Hélouët, Nicolas Markey, Ritam Raha
Reachability Games with Relaxed Energy Constraints. GandALF (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI (2019)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games. Acta Informatica 55 (2) (2018)
Étienne André, Didier Lime, Nicolas Markey
Language Preservation Problems in Parametric Timed Automata. CoRR (2018)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. STACS (2018)
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
Parameterized verification of synchronization in constrained reconfigurable broadcast networks. CoRR (2018)
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS (2) (2018)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
Efficient Timed Diagnosis Using Automata with Timed Domains. RV (2018)
Léo Henry, Thierry Jéron, Nicolas Markey
Control Strategies for Off-Line Testing of Timed Systems. SPIN (2018)
Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF (2018)
Léo Henry, Thierry Jéron, Nicolas Markey
Control_strategies_for_off-line_testing_of_timed_systems. CoRR (2018)
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. CoRR (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM (2018)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750 (2018)
Nicolas Markey
Temporal Logics for Multi-Agent Systems (Invited Talk). MFCS (2017)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. 53 (3) (2017)
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
Timed Temporal Logics. Models, Algorithms, Logics and Tools (2017)
Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
Courcelle's Theorem Made Dynamic. CoRR (2017)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254 (2017)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-Energy Games. FoSSaCS (2017)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. CoRR (2017)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Determinization of Timed Systems. FORMATS (2017)
Patricia Bouyer, Vincent Jugé, Nicolas Markey
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR (2016)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
On the semantics of Strategy Logic. Inf. Process. Lett. 116 (2) (2016)
Amélie David, François Laroussinie, Nicolas Markey
On the Expressiveness of QCTL. CONCUR (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP (2016)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR (2016)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) (2016)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. RP (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR (2016)
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
Distributed Synthesis of State-Dependent Switching Control. CoRR (2016)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-energy Games. CoRR (2016)
Patricia Bouyer, Nicolas Markey, Daniel Stan
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF (2016)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS (2015)
François Laroussinie, Nicolas Markey, Arnaud Sangnier
ATLsc with partial observation. GandALF (2015)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11 (2) (2015)
Laurent Fribourg, Ulrich Kühne, Nicolas Markey
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP (2015)
Patricia Bouyer, Erwin Fang, Nicolas Markey
Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Étienne André, Nicolas Markey
Language Preservation Problems in Parametric Timed Automata. FORMATS (2015)
François Laroussinie, Nicolas Markey
Augmenting ATL with strategy contexts. Inf. Comput. 245 (2015)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Value Problem in Weighted Timed Games. CONCUR (2015)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS (2015)
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. 563 (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen
Average-energy games. GandALF (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games (full version). CoRR (2015)
Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5 (2) (2015)
Patricia Bouyer, Kim G. Larsen, Nicolas Markey
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73 (2014)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Quantitative Verification of Weighted Kripke Structures. ATVA (2014)
François Laroussinie, Nicolas Markey
Quantified CTL: Expressiveness and Complexity. Log. Methods Comput. Sci. 10 (4) (2014)
Nicolas Markey
Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. ERCIM News 2014 (97) (2014)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash Equilibria in Symmetric Games with Partial Observation. SR (2014)
Nicolas Markey, Steen Vester
Symmetry Reduction in Infinite Games with Finite Branching. ATVA (2014)
Ocan Sankur, Patricia Bouyer, Nicolas Markey
Shrinking timed automata. Inf. Comput. 234 (2014)
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA (2014)
Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel
Averaging in LTL. CONCUR (2014)
Patricia Bouyer, Nicolas Markey, Daniel Stan
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS (2014)
Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
Synchronizing Words for Weighted and Timed Automata. FSTTCS (2014)
François Laroussinie, Nicolas Markey
Satisfiability of ATL with strategy contexts. GandALF (2013)
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust Weighted Timed Automata and Games. FORMATS (2013)
Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
Robust Controller Synthesis in Timed Automata. CONCUR (2013)
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robustness in Timed Automata. RP (2013)
Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo
Querying Trajectories through Model Checking based on Timed Automata. SBBD (Short Papers) (2012)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Concurrent Games with Ordered Objectives. FoSSaCS (2012)
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) (2012)
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
On termination and invariance for faulty channel machines. Formal Aspects Comput. 24 (4-6) (2012)
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST (2012)
Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). CONCUR (2012)
Nicolas Markey
Robustness in real-time systems. SIES (2011)
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA (2011)
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
Timed Automata Can Always Be Made Implementable. CONCUR (2011)

Nicolas Markey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Markey