default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicolas Markey
Person information
- affiliation: University of Rennes, France
- affiliation: ENS Cachan, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i28]Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi:
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR abs/2407.18994 (2024)- 2023
- [j34]Nathalie Bertrand, Hugo Francon, Nicolas Markey:
Synchronizing words under LTL constraints. Inf. Process. Lett. 182: 106392 (2023) - [j33]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): 21:1-21:38 (2023) - [c91]Nicolas Markey:
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS 2023: 3-12 - [i27]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 abs/2305.10546 (2023) - 2022
- [j32]Léo Henry, Thierry Jéron, Nicolas Markey:
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60(2): 147-194 (2022) - [j31]Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability games with relaxed energy constraints. Inf. Comput. 285(Part): 104806 (2022) - [c90]Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré:
Repairing Real-Time Requirements. ATVA 2022: 371-387 - [c89]Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-blind Strategies in Timed Network Congestion Games. FORMATS 2022: 183-199 - [c88]Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur:
Semilinear Representations for Series-Parallel Atomic Congestion Games. FSTTCS 2022: 32:1-32:20 - [c87]Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger:
Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP 2022: 113:1-113:20 - [c86]Thomas Guyet, Nicolas Markey:
Logical Forms of Chronicles. TIME 2022: 7:1-7:15 - [i26]Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger:
Parameterized safety verification of round-based shared-memory systems. CoRR abs/2204.11670 (2022) - [i25]Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-Blind Strategies in Timed Network Congestion Games. CoRR abs/2207.01537 (2022) - 2021
- [j30]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): 3-25 (2021) - [j29]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): 229-253 (2021) - 2020
- [j28]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16(1) (2020) - [j27]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. Theory Comput. Syst. 64(3): 467-507 (2020) - [c85]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI 2020: 2887-2888 - [c84]Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS 2020: 111-126 - [c83]Léo Henry, Thierry Jéron, Nicolas Markey:
Active Learning of Timed Automata with Unobservable Resets. FORMATS 2020: 144-160 - [c82]Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur:
Incremental Methods for Checking Real-Time Consistency. FORMATS 2020: 249-264 - [c81]Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur:
Dynamic Network Congestion Games. FSTTCS 2020: 40:1-40:16 - [i24]Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur:
Incremental methods for checking real-time consistency. CoRR abs/2007.01014 (2020) - [i23]Léo Henry, Nicolas Markey, Thierry Jéron:
Active learning of timed automata with unobservable resets. CoRR abs/2007.01637 (2020) - [i22]Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing maximally-permissive strategies in acyclic timed automata. CoRR abs/2007.01815 (2020) - [i21]Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur:
Dynamic network congestion games. CoRR abs/2009.13632 (2020)
2010 – 2019
- 2019
- [c80]Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. CAV (1) 2019: 22-40 - [c79]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI 2019: 1588-1594 - [c78]Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability Games with Relaxed Energy Constraints. GandALF 2019: 17-33 - [i20]Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. CoRR abs/1905.07365 (2019) - [i19]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR abs/1905.11537 (2019) - 2018
- [j26]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018) - [j25]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750: 53-68 (2018) - [c77]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: 203-221 - [c76]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
Efficient Timed Diagnosis Using Automata with Timed Domains. RV 2018: 205-221 - [c75]Léo Henry, Thierry Jéron, Nicolas Markey:
Control Strategies for Off-Line Testing of Timed Systems. SPIN 2018: 171-189 - [c74]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. STACS 2018: 34:1-34:15 - [c73]A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey:
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS (2) 2018: 38-54 - [c72]Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour:
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF 2018: 250-264 - [p2]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [i18]A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey:
Parameterized verification of synchronization in constrained reconfigurable broadcast networks. CoRR abs/1802.08469 (2018) - [i17]Léo Henry, Thierry Jéron, Nicolas Markey:
Control_strategies_for_off-line_testing_of_timed_systems. CoRR abs/1804.11234 (2018) - [i16]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 abs/1805.00847 (2018) - [i15]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. CoRR abs/1807.07091 (2018) - 2017
- [j24]Patricia Bouyer, Nicolas Markey, Steen Vester:
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254: 238-258 (2017) - [j23]Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. 53(3): 327-353 (2017) - [c71]Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell:
Timed Temporal Logics. Models, Algorithms, Logics and Tools 2017: 211-230 - [c70]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
On the Determinization of Timed Systems. FORMATS 2017: 25-41 - [c69]Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann:
Bounding Average-Energy Games. FoSSaCS 2017: 179-195 - [c68]Nicolas Markey:
Temporal Logics for Multi-Agent Systems (Invited Talk). MFCS 2017: 84:1-84:3 - [i14]Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey:
Courcelle's Theorem Made Dynamic. CoRR abs/1702.05183 (2017) - [i13]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. CoRR abs/1708.05849 (2017) - 2016
- [j22]Patricia Bouyer, Patrick Gardy, Nicolas Markey:
On the semantics of Strategy Logic. Inf. Process. Lett. 116(2): 75-79 (2016) - [c67]Patricia Bouyer, Maximilien Colange, Nicolas Markey:
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) 2016: 513-530 - [c66]Amélie David, François Laroussinie, Nicolas Markey:
On the Expressiveness of QCTL. CONCUR 2016: 28:1-28:15 - [c65]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP 2016: 106:1-106:14 - [c64]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. RP 2016: 119-133 - [c63]Patricia Bouyer, Nicolas Markey, Daniel Stan:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF 2016: 61-75 - [e3]Martin Fränzle, Nicolas Markey:
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Lecture Notes in Computer Science 9884, Springer 2016, ISBN 978-3-319-44877-0 [contents] - [e2]Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents] - [i12]Patricia Bouyer, Maximilien Colange, Nicolas Markey:
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR abs/1602.00481 (2016) - [i11]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR abs/1602.05928 (2016) - [i10]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. CoRR abs/1604.01745 (2016) - [i9]Patricia Bouyer, Vincent Jugé, Nicolas Markey:
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR abs/1610.00571 (2016) - [i8]Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann:
Bounding Average-energy Games. CoRR abs/1610.07858 (2016) - 2015
- [j21]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels:
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11(2) (2015) - [j20]Patricia Bouyer, Erwin Fang, Nicolas Markey:
Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j19]François Laroussinie, Nicolas Markey:
Augmenting ATL with strategy contexts. Inf. Comput. 245: 98-123 (2015) - [j18]Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. 563: 43-74 (2015) - [c62]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
On the Value Problem in Weighted Timed Games. CONCUR 2015: 311-324 - [c61]Étienne André, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. FORMATS 2015: 27-43 - [c60]Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS 2015: 60-75 - [c59]Patricia Bouyer, Patrick Gardy, Nicolas Markey:
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS 2015: 69-83 - [c58]Laurent Fribourg, Ulrich Kühne, Nicolas Markey:
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP 2015: 48-62 - [c57]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. GandALF 2015: 1-15 - [c56]François Laroussinie, Nicolas Markey, Arnaud Sangnier:
ATLsc with partial observation. GandALF 2015: 43-57 - [i7]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games (full version). CoRR abs/1512.08106 (2015) - [i6]Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas:
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5(2): 1-25 (2015) - 2014
- [j17]François Laroussinie, Nicolas Markey:
Quantified CTL: Expressiveness and Complexity. Log. Methods Comput. Sci. 10(4) (2014) - [j16]Ocan Sankur, Patricia Bouyer, Nicolas Markey:
Shrinking timed automata. Inf. Comput. 234: 107-132 (2014) - [j15]Patricia Bouyer, Kim G. Larsen, Nicolas Markey:
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73: 91-109 (2014) - [c55]Patricia Bouyer, Patrick Gardy, Nicolas Markey:
Quantitative Verification of Weighted Kripke Structures. ATVA 2014: 64-80 - [c54]Nicolas Markey, Steen Vester:
Symmetry Reduction in Infinite Games with Finite Branching. ATVA 2014: 281-296 - [c53]Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel:
Averaging in LTL. CONCUR 2014: 266-280 - [c52]Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi:
Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014: 121-132 - [c51]Patricia Bouyer, Nicolas Markey, Daniel Stan:
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS 2014: 351-363 - [c50]Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey:
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA 2014: 1-10 - [c49]Patricia Bouyer, Nicolas Markey, Steen Vester:
Nash Equilibria in Symmetric Games with Partial Observation. SR 2014: 49-55 - [i5]Nicolas Markey:
Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. ERCIM News 2014(97) (2014) - 2013
- [c48]Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier:
Robust Controller Synthesis in Timed Automata. CONCUR 2013: 546-560 - [c47]Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust Weighted Timed Automata and Games. FORMATS 2013: 31-46 - [c46]Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robustness in Timed Automata. RP 2013: 1-18 - [c45]François Laroussinie, Nicolas Markey:
Satisfiability of ATL with strategy contexts. GandALF 2013: 208-223 - [p1]Franck Cassez, Nicolas Markey:
Control of Timed Systems. Communicating Embedded Systems 2013: 67-105 - 2012
- [j14]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): 595-607 (2012) - [c44]Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). CONCUR 2012: 177-192 - [c43]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels:
Concurrent Games with Ordered Objectives. FoSSaCS 2012: 301-315 - [c42]Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) 2012: 128-140 - [c41]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137 - [c40]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: 33-40 - 2011
- [j13]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011) - [c39]Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels:
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA 2011: 135-149 - [c38]Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane:
Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91 - [c37]Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust Model-Checking of Timed Automata via Pumping in Channel Machines. FORMATS 2011: 97-112 - [c36]Ocan Sankur, Patricia Bouyer, Nicolas Markey:
Shrinking Timed Automata. FSTTCS 2011: 90-102 - [c35]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels:
Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS 2011: 375-386 - [c34]Nicolas Markey:
Robustness in real-time systems. SIES 2011: 28-34 - [i4]Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels:
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. CoRR abs/1102.3615 (2011) - 2010
- [j12]Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby:
Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [j11]Patricia Bouyer, Fabrice Chevalier, Nicolas Markey:
On the expressiveness of TPTL and MTL. Inf. Comput. 208(2): 97-116 (2010) - [c33]Patricia Bouyer, Romain Brenguier, Nicolas Markey:
Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR 2010: 192-206 - [c32]Patricia Bouyer, Romain Brenguier, Nicolas Markey:
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76 - [c31]Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
ATL with Strategy Contexts: Expressiveness and Model Checking. FSTTCS 2010: 120-132 - [c30]Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell:
Computing Rational Radical Sums in Uniform TC^0. FSTTCS 2010: 308-316 - [c29]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. HSCC 2010: 61-70 - [e1]Nicolas Markey, Jef Wijsen:
TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4187-7 [contents]
2000 – 2009
- 2009
- [c28]Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault:
Measuring Permissivity in Finite Games. CONCUR 2009: 196-210 - [c27]Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
ATL with Strategy Contexts and Bounded Memory. LFCS 2009: 92-106 - 2008
- [j10]