Model Checking CTL+ and FCTL is Hard. - François Laroussinie; Nicolas Markey; Philippe Schnoebelen (FoSSaCS, 2001)

On Model Checking Durational Kripke Structures. - François Laroussinie; Nicolas Markey; Philippe Schnoebelen (FoSSaCS, 2002)

Temporal Logic with Forgettable Past. - François Laroussinie; Nicolas Markey; Philippe Schnoebelen (LICS, 2002)

Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. - Nicolas Markey (EXPRESS, 2002)

Model Checking a Path. - Nicolas Markey; Philippe Schnoebelen (CONCUR, 2003)

Temporal logic with past is exponentially more succinct, Concurrency Column. - Nicolas Markey (Bull. EATCS, 2003)

Model Checking Timed Automata with One or Two Clocks. - François Laroussinie; Nicolas Markey; Philippe Schnoebelen (CONCUR, 2004)

Symbolic Model Checking for Simply-Timed Systems. - Nicolas Markey; Philippe Schnoebelen (FORMATS/FTRTFT, 2004)

Robustness and Implementability of Timed Automata. - Martin De Wulf; Laurent Doyen 001; Nicolas Markey; Jean-François Raskin (FORMATS/FTRTFT, 2004)

Non-deterministic Temporal Logics for General Flow Systems. - Jennifer M. Davoren; Vaughan Coulthard; Nicolas Markey; Thomas Moor (HSCC, 2004)

TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. - Nicolas Markey; Philippe Schnoebelen (QEST, 2004)

A PTIME-complete matching problem for SLP-compressed words. - Nicolas Markey; Philippe Schnoebelen (Inf. Process. Lett., 2004)

Model-Checking Timed. - François Laroussinie; Nicolas Markey; Ghassan Oreiby (FORMATS, 2006)

Almost Optimal Strategies in One Clock Priced Timed Games. - Patricia Bouyer; Kim Guldstrand Larsen; Nicolas Markey; Jacob Illum Rasmussen (FSTTCS, 2006)

Robust Model-Checking of Linear-Time Properties in Timed Automata. - Patricia Bouyer; Nicolas Markey; Pierre-Alain Reynier (LATIN, 2006)

Improved undecidability results on weighted timed automata. - Patricia Bouyer; Thomas Brihaye; Nicolas Markey (Inf. Process. Lett., 2006)

Mu-calculus path checking. - Nicolas Markey; Philippe Schnoebelen (Inf. Process. Lett., 2006)

Efficient timed model checking for discrete-time systems. - François Laroussinie; Nicolas Markey; Philippe Schnoebelen (Theor. Comput. Sci., 2006)

Model checking restricted sets of timed paths. - Nicolas Markey; Jean-François Raskin (Theor. Comput. Sci., 2006)

Timed Concurrent Game Structures. - Thomas Brihaye; François Laroussinie; Nicolas Markey; Ghassan Oreiby (CONCUR, 2007)

Costs Are Expensive! - Patricia Bouyer; Nicolas Markey (FORMATS, 2007)

The Cost of Punctuality. - Patricia Bouyer; Nicolas Markey; Joël Ouaknine; James Worrell 001 (LICS, 2007)

Infinite Runs in Weighted Timed Automata with Energy Constraints. - Patricia Bouyer; Ulrich Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Jirí Srba (FORMATS, 2008)

Robust Analysis of Timed Automata via Channel Machines. - Patricia Bouyer; Nicolas Markey; Pierre-Alain Reynier (FoSSaCS, 2008)

On Expressiveness and Complexity in Real-Time Model Checking. - Patricia Bouyer; Nicolas Markey; Joël Ouaknine; James Worrell 001 (ICALP (2), 2008)

Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Nicolas Markey (QEST, 2008)

On Termination for Faulty Channel Machines. - Patricia Bouyer; Nicolas Markey; Joël Ouaknine; Philippe Schnoebelen; James Worrell 001 (STACS, 2008)

Good Friends are Hard to Find! - Thomas Brihaye; Nicolas Markey; Mohamed Ghannem; Lionel Rieg (TIME, 2008)

Robust safety of timed automata. - Martin De Wulf; Laurent Doyen 001; Nicolas Markey; Jean-François Raskin (Formal Methods Syst. Des., 2008)

Model Checking One-Clock Priced Timed Automata. - Patricia Bouyer; Kim Guldstrand Larsen; Nicolas Markey (Log. Methods Comput. Sci., 2008)

On the Expressiveness and Complexity of ATL. - François Laroussinie; Nicolas Markey; Ghassan Oreiby (Log. Methods Comput. Sci., 2008)

Measuring Permissivity in Finite Games. - Patricia Bouyer; Marie Duflot; Nicolas Markey; Gabriel Renault (CONCUR, 2009)

ATL with Strategy Contexts and Bounded Memory. - Thomas Brihaye; Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (LFCS, 2009)

Nash Equilibria for Reachability Objectives in Multi-player Timed Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey (CONCUR, 2010)

Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey (FORMATS, 2010)

Computing Rational Radical Sums in Uniform TC^0. - Paul Hunter 001; Patricia Bouyer; Nicolas Markey; Joël Ouaknine; James Worrell 001 (FSTTCS, 2010)

ATL with Strategy Contexts: Expressiveness and Model Checking. - Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (FSTTCS, 2010)

Timed automata with observers under energy constraints. - Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey (HSCC, 2010)

Using Model Checking for Analyzing Distributed Power Control Problems. - Thomas Brihaye; Marc Jungers; Samson Lasaulce; Nicolas Markey; Ghassan Oreiby (EURASIP J. Wirel. Commun. Netw., 2010)

On the expressiveness of TPTL and MTL. - Patricia Bouyer; Fabrice Chevalier; Nicolas Markey (Inf. Comput., 2010)

Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. - Patricia Bouyer; Nicolas Markey; Jörg Olschewski; Michael Ummels (ATVA, 2011)

Timed Automata Can Always Be Made Implementable. - Patricia Bouyer; Kim G. Larsen; Nicolas Markey; Ocan Sankur; Claus R. Thrane (CONCUR, 2011)

Robust Model-Checking of Timed Automata via Pumping in Channel Machines. - Patricia Bouyer; Nicolas Markey; Ocan Sankur (FORMATS, 2011)

Nash Equilibria in Concurrent Games with Büchi Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FSTTCS, 2011)

Robustness in real-time systems. - Nicolas Markey (SIES, 2011)

Quantitative analysis of real-time systems using priced timed automata. - Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey (Commun. ACM, 2011)

Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). - Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (CONCUR, 2012)

Concurrent Games with Ordered Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FoSSaCS, 2012)

Robust Reachability in Timed Automata: A Game-Based Approach. - Patricia Bouyer; Nicolas Markey; Ocan Sankur (ICALP (2), 2012)

Querying Trajectories through Model Checking based on Timed Automata. - Diego V. Simões S.; Henrique Viana; Nicolas Markey; José Antônio Fernandes de Macêdo (SBBD (Short Papers), 2012)

On termination and invariance for faulty channel machines. - Patricia Bouyer; Nicolas Markey; Joël Ouaknine; Philippe Schnoebelen; James Worrell 001 (Formal Aspects Comput., 2012)

Control of Timed Systems. - Franck Cassez; Nicolas Markey (Communicating Embedded Systems, 2013)

Robust Controller Synthesis in Timed Automata. - Ocan Sankur; Patricia Bouyer; Nicolas Markey; Pierre-Alain Reynier (CONCUR, 2013)

Robust Weighted Timed Automata and Games. - Patricia Bouyer; Nicolas Markey; Ocan Sankur (FORMATS, 2013)

Robustness in Timed Automata. - Patricia Bouyer; Nicolas Markey; Ocan Sankur (RP, 2013)

Satisfiability of ATL with strategy contexts. - François Laroussinie; Nicolas Markey (GandALF, 2013)

Quantitative Verification of Weighted Kripke Structures. - Patricia Bouyer; Patrick Gardy; Nicolas Markey (ATVA, 2014)

Symmetry Reduction in Infinite Games with Finite Branching. - Nicolas Markey; Steen Vester (ATVA, 2014)

Averaging in LTL. - Patricia Bouyer; Nicolas Markey; Raj Mohan Matteplackel (CONCUR, 2014)

Synchronizing Words for Weighted and Timed Automata. - Laurent Doyen 001; Line Juhl; Kim Guldstrand Larsen; Nicolas Markey; Mahsa Shirmohammadi (FSTTCS, 2014)

Mixed Nash Equilibria in Concurrent Terminal-Reward Games. - Patricia Bouyer; Nicolas Markey; Daniel Stan (FSTTCS, 2014)

Component-based analysis of hierarchical scheduling using linear hybrid automata. - Youcheng Sun; Giuseppe Lipari; Romain Soulat; Laurent Fribourg; Nicolas Markey (RTCSA, 2014)

Nash Equilibria in Symmetric Games with Partial Observation. - Patricia Bouyer; Nicolas Markey; Steen Vester (SR, 2014)

Quantified CTL: Expressiveness and Complexity. - François Laroussinie; Nicolas Markey (Log. Methods Comput. Sci., 2014)

Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. - Nicolas Markey (ERCIM News, 2014)

Shrinking timed automata. - Ocan Sankur; Patricia Bouyer; Nicolas Markey (Inf. Comput., 2014)

Lower-bound-constrained runs in weighted timed automata. - Patricia Bouyer; Kim G. Larsen; Nicolas Markey (Perform. Evaluation, 2014)

On the Value Problem in Weighted Timed Games. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (CONCUR, 2015)

Language Preservation Problems in Parametric Timed Automata. - Étienne André; Nicolas Markey (FORMATS, 2015)

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. - Patricia Bouyer; Nicolas Markey; Nicolas Perrin 001; Philipp Schlehuber-Caissier (FORMATS, 2015)

Weighted Strategy Logic with Boolean Goals Over One-Counter Games. - Patricia Bouyer; Patrick Gardy; Nicolas Markey (FSTTCS, 2015)

Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. - Laurent Fribourg; Ulrich Kühne; Nicolas Markey (SynCoP, 2015)

Pure Nash Equilibria in Concurrent Deterministic Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (Log. Methods Comput. Sci., 2015)

Average-energy games. - Patricia Bouyer; Nicolas Markey; Mickael Randour; Kim Guldstrand Larsen; Simon Laursen (GandALF, 2015)

Average-energy games (full version). - Patricia Bouyer; Nicolas Markey; Mickael Randour; Kim G. Larsen; Simon Laursen (CoRR, 2015)

ATLsc with partial observation. - François Laroussinie; Nicolas Markey; Arnaud Sangnier (GandALF, 2015)

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). - Krishnendu Chatterjee; Stéphane Lafortune; Nicolas Markey; Wolfgang Thomas (Dagstuhl Reports, 2015)

Permissive strategies in timed automata and games. - Patricia Bouyer; Erwin Fang; Nicolas Markey (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Augmenting ATL with strategy contexts. - François Laroussinie; Nicolas Markey (Inf. Comput., 2015)

Robust reachability in timed automata and games: A game-based approach. - Patricia Bouyer; Nicolas Markey; Ocan Sankur (Theor. Comput. Sci., 2015)

Symbolic Optimal Reachability in Weighted Timed Automata. - Patricia Bouyer; Maximilien Colange; Nicolas Markey (CAV (1), 2016)

On the Expressiveness of QCTL. - Amélie David 001; François Laroussinie; Nicolas Markey (CONCUR, 2016)

Reachability in Networks of Register Protocols under Stochastic Schedulers. - Patricia Bouyer; Nicolas Markey; Mickael Randour; Arnaud Sangnier; Daniel Stan (ICALP, 2016)

Distributed Synthesis of State-Dependent Switching Control. - Adrien Le Coënt; Laurent Fribourg; Nicolas Markey; Florian De Vuyst; Ludovic Chamoin (RP, 2016)

Dynamic Complexity of Parity Games with Bounded Tree-Width. - Patricia Bouyer; Vincent Jugé; Nicolas Markey (CoRR, 2016)

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. - Patricia Bouyer; Nicolas Markey; Daniel Stan (GandALF, 2016)

On the semantics of Strategy Logic. - Patricia Bouyer; Patrick Gardy; Nicolas Markey (Inf. Process. Lett., 2016)

Timed Temporal Logics. - Patricia Bouyer; François Laroussinie; Nicolas Markey; Joël Ouaknine; James Worrell 001 (Models, Algorithms, Logics and Tools, 2017)

On the Determinization of Timed Systems. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (FORMATS, 2017)

Bounding Average-Energy Games. - Patricia Bouyer; Piotr Hofman; Nicolas Markey; Mickael Randour; Martin Zimmermann 002 (FoSSaCS, 2017)

Temporal Logics for Multi-Agent Systems (Invited Talk). - Nicolas Markey (MFCS, 2017)

Courcelle's Theorem Made Dynamic. - Patricia Bouyer-Decitre; Vincent Jugé; Nicolas Markey (CoRR, 2017)

Nash equilibria in symmetric graph games with partial observation. - Patricia Bouyer; Nicolas Markey; Steen Vester (Inf. Comput., 2017)

Timed-automata abstraction of switched dynamical systems using control invariants. - Patricia Bouyer; Nicolas Markey; Nicolas Perrin 001; Philipp Schlehuber-Caissier (Real Time Syst., 2017)

Efficient Timed Diagnosis Using Automata with Timed Domains. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (RV, 2018)

Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. - A. R. Balasubramanian; Nathalie Bertrand 001; Nicolas Markey (TACAS (2), 2018)

Control_strategies_for_off-line_testing_of_timed_systems. - Léo Henry; Thierry Jéron; Nicolas Markey (CoRR, 2018)

Multi-weighted Markov Decision Processes with Reachability Objectives. - Patricia Bouyer; Mauricio González; Nicolas Markey; Mickael Randour (GandALF, 2018)

Compositional synthesis of state-dependent switching control. - Adrien Le Coënt; Laurent Fribourg; Nicolas Markey; Florian De Vuyst; Ludovic Chamoin (Theor. Comput. Sci., 2018)

Model Checking Real-Time Systems. - Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Joël Ouaknine; James Worrell 001 (Handbook of Model Checking, 2018)

Abstraction Refinement Algorithms for Timed Automata. - Victor Roussanaly; Ocan Sankur; Nicolas Markey (CAV (1), 2019)

Reachability Games with Relaxed Energy Constraints. - Loïc Hélouët; Nicolas Markey; Ritam Raha (GandALF, 2019)

Reasoning About Quality and Fuzziness of Strategic Behaviours. - Patricia Bouyer; Orna Kupferman; Nicolas Markey; Bastien Maubert; Aniello Murano; Giuseppe Perelli (ECAI, 2020)

Computing Maximally-Permissive Strategies in Acyclic Timed Automata. - Emily Clement; Thierry Jéron; Nicolas Markey; David Mentré (FORMATS, 2020)

Active Learning of Timed Automata with Unobservable Resets. - Léo Henry; Thierry Jéron; Nicolas Markey (FORMATS, 2020)

Incremental Methods for Checking Real-Time Consistency. - Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi; Ocan Sankur (FORMATS, 2020)

Dynamic Network Congestion Games. - Nathalie Bertrand 001; Nicolas Markey; Suman Sadhukhan; Ocan Sankur (FSTTCS, 2020)

Language Preservation Problems in Parametric Timed Automata. - Étienne André; Didier Lime; Nicolas Markey (Log. Methods Comput. Sci., 2020)

Dependences in Strategy Logic. - Patrick Gardy; Patricia Bouyer; Nicolas Markey (Theory Comput. Syst., 2020)

Optimal and robust controller synthesis using energy timed automata with uncertainty. - Giovanni Bacci 001; Patricia Bouyer; Uli Fahrenberg; Kim G. Larsen; Nicolas Markey; Pierre-Alain Reynier (Formal Aspects Comput., 2021)

Diagnosing timed automata using timed markings. - Patricia Bouyer; Léo Henry; Samy Jaziri; Thierry Jéron; Nicolas Markey (Int. J. Softw. Tools Technol. Transf., 2021)

Repairing Real-Time Requirements. - Reiya Noguchi; Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré (ATVA, 2022)

Non-blind Strategies in Timed Network Congestion Games. - Aline Goeminne; Nicolas Markey; Ocan Sankur (FORMATS, 2022)

Semilinear Representations for Series-Parallel Atomic Congestion Games. - Nathalie Bertrand 001; Nicolas Markey; Suman Sadhukhan; Ocan Sankur (FSTTCS, 2022)

Parameterized Safety Verification of Round-Based Shared-Memory Systems. - Nathalie Bertrand 001; Nicolas Markey; Ocan Sankur; Nicolas Waldburger (ICALP, 2022)

Logical Forms of Chronicles. - Thomas Guyet; Nicolas Markey (TIME, 2022)

Control strategies for off-line testing of timed systems. - Léo Henry; Thierry Jéron; Nicolas Markey (Formal Methods Syst. Des., 2022)

Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). - Nicolas Markey (FORMATS, 2023)

Games on Graphs. - Nathanaël Fijalkow; Nathalie Bertrand 001; Patricia Bouyer-Decitre; Romain Brenguier; Arnaud Carayol; John Fearnley; Hugo Gimbert; Florian Horn 001; Rasmus Ibsen-Jensen; Nicolas Markey; Benjamin Monmege; Petr Novotný 001; et al. (CoRR, 2023)

Reasoning about Quality and Fuzziness of Strategic Behaviors. - Patricia Bouyer; Orna Kupferman; Nicolas Markey; Bastien Maubert; Aniello Murano; Giuseppe Perelli (ACM Trans. Comput. Log., 2023)

Synchronizing words under LTL constraints. - Nathalie Bertrand 001; Hugo Francon; Nicolas Markey (Inf. Process. Lett., 2023)

Distributed Monitoring of Timed Properties. - Léo Henry; Thierry Jéron; Nicolas Markey; Victor Roussanaly (RV, 2024)

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. - Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi (CoRR, 2024)

Arbitrary-arity Tree Automata and QCTL. - François Laroussinie; Nicolas Markey (CoRR, 2024)

Energy Transfer in Timed Cyclic Networks. - Luca Paparazzo; Loïc Hélouët; Nicolas Markey (Petri Nets, 2025)

Arbitrary-Arity Tree Automata for QCTL. - François Laroussinie; Nicolas Markey (CONCUR, 2025)