


Остановите войну!
for scientists:
Patricia Bouyer
Patricia Bouyer-Decitre
Person information

- 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
- 2022
- [j40]Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove:
Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. 18(1) (2022) - [c102]Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
Optimal Strategies in Concurrent Reachability Games. CSL 2022: 7:1-7:17 - [c101]Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset:
Finite-Memory Strategies in Two-Player Infinite Games. CSL 2022: 8:1-8:16 - [c100]Patricia Bouyer, Mickael Randour, Pierre Vandenhove:
Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. STACS 2022: 16:1-16:16 - [e3]Patricia Bouyer
, Lutz Schröder
:
Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture Notes in Computer Science 13242, Springer 2022, ISBN 978-3-030-99252-1 [contents] - [i32]Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR abs/2203.06966 (2022) - [i31]Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove:
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CoRR abs/2205.01365 (2022) - 2021
- [j39]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) - [j38]Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar:
Reconfiguration and Message Losses in Parameterized Broadcast Networks. Log. Methods Comput. Sci. 17(1) (2021) - [j37]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) - [c99]Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove:
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CONCUR 2021: 26:1-26:18 - [c98]Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
From Local to Global Determinacy in Concurrent Graph Games. FSTTCS 2021: 41:1-41:14 - [p2]Patricia Bouyer:
Timed automata. Handbook of Automata Theory (II.) 2021: 1261-1294 - [i30]Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove:
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CoRR abs/2102.10104 (2021) - [i29]Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
From local to global determinacy in concurrent graph games. CoRR abs/2107.04081 (2021) - [i28]Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset:
Finite-memory strategies in two-player infinite games. CoRR abs/2107.09945 (2021) - [i27]Patricia Bouyer, Mickael Randour, Pierre Vandenhove:
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. CoRR abs/2110.01276 (2021) - [i26]Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux:
Optimal strategies in concurrent reachability games. CoRR abs/2110.14724 (2021) - 2020
- [j36]Aniello Murano, Patricia Bouyer, Pierluigi San Pietro
, Andrea Orlandini:
Preface. Inf. Comput. 272: 104497 (2020) - [j35]Patrick Gardy, Patricia Bouyer, Nicolas Markey
:
Dependences in Strategy Logic. Theory Comput. Syst. 64(3): 467-507 (2020) - [c97]Luca Aceto
, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c96]Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove:
Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR 2020: 24:1-24:22 - [c95]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI 2020: 2887-2888 - [c94]Nathalie Bertrand
, Patricia Bouyer
, Anirban Majumdar:
Synthesizing Safe Coalition Strategies. FSTTCS 2020: 39:1-39:17 - [c93]Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder:
Synthesis in Presence of Dynamic Links. GandALF 2020: 33-49 - [c92]Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove:
Decisiveness of Stochastic Systems and its Application to Hybrid Models. GandALF 2020: 149-165 - [i25]Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove:
Games Where You Can Play Optimally with Finite Memory. CoRR abs/2001.03894 (2020) - [i24]Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar:
Synthesizing safe coalition strategies. CoRR abs/2008.03770 (2020) - [i23]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier:
Taming denumerable Markov decision processes with decisiveness. CoRR abs/2008.10426 (2020) - [i22]Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove:
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version). CoRR abs/2009.13152 (2020)
2010 – 2019
- 2019
- [c91]Patricia Bouyer:
A Note on Game Theory and Verification. ATVA 2019: 3-22 - [c90]Nathalie Bertrand
, Patricia Bouyer
, Anirban Majumdar:
Reconfiguration and Message Losses in Parameterized Broadcast Networks. CONCUR 2019: 32:1-32:15 - [c89]Benedikt Bollig, Patricia Bouyer, Fabian Reiter:
Identifiers in Registers - Describing Network Algorithms with Logic. FoSSaCS 2019: 115-132 - [c88]Nathalie Bertrand
, Patricia Bouyer
, Anirban Majumdar:
Concurrent Parameterized Games. FSTTCS 2019: 31:1-31:15 - [c87]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI 2019: 1588-1594 - [c86]Patricia Bouyer
, Nathan Thomasset:
Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism. MFCS 2019: 9:1-9:14 - [c85]Patricia Bouyer
:
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). TIME 2019: 3:1-3:3 - [i21]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) - [i20]Patricia Bouyer, Nathan Thomasset:
Nash equilibria in games over graphs equipped with a communication mechanism. CoRR abs/1906.07753 (2019) - [i19]Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar:
Reconfiguration and Message Losses in Parameterized Broadcast Networks. CoRR abs/1912.07042 (2019) - 2018
- [j34]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018) - [j33]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier:
When are stochastic transition systems tameable? J. Log. Algebraic Methods Program. 99: 41-96 (2018) - [c84]Béatrice Bérard, Patricia Bouyer, Vincent Jugé:
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. CSL 2018: 26:1-26:17 - [c83]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 - [c82]Patricia Bouyer
:
Games on Graphs with a Public Signal Monitoring. FoSSaCS 2018: 530-547 - [c81]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
Efficient Timed Diagnosis Using Automata with Timed Domains. RV 2018: 205-221 - [c80]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. STACS 2018: 34:1-34:15 - [c79]Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour:
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF 2018: 250-264 - [p1]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]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) - [i17]Benedikt Bollig, Patricia Bouyer, Fabian Reiter:
Identifiers in Registers - Describing Network Algorithms with Logic. CoRR abs/1811.08197 (2018) - 2017
- [j32]Patricia Bouyer, Nicolas Markey
, Steen Vester:
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254: 238-258 (2017) - [j31]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) - [c78]Patricia Bouyer, François Laroussinie, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Timed Temporal Logics. Models, Algorithms, Logics and Tools 2017: 211-230 - [c77]Patricia Bouyer, Serge Haddad, Vincent Jugé:
Unbounded Product-Form Petri Nets. CONCUR 2017: 31:1-31:16 - [c76]Patricia Bouyer, Samy Jaziri, Nicolas Markey
:
On the Determinization of Timed Systems. FORMATS 2017: 25-41 - [c75]Patricia Bouyer, Piotr Hofman, Nicolas Markey
, Mickael Randour, Martin Zimmermann
:
Bounding Average-Energy Games. FoSSaCS 2017: 179-195 - [c74]Patricia Bouyer, Vincent Jugé:
Dynamic Complexity of the Dyck Reachability. FoSSaCS 2017: 265-280 - [e2]Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro:
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. EPTCS 256, 2017 [contents] - [i16]Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey:
Courcelle's Theorem Made Dynamic. CoRR abs/1702.05183 (2017) - [i15]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier:
When are Stochastic Transition Systems Tameable? CoRR abs/1703.04806 (2017) - [i14]Patricia Bouyer, Serge Haddad, Vincent Jugé:
Unbounded product-form Petri nets. CoRR abs/1708.05847 (2017) - [i13]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. CoRR abs/1708.05849 (2017) - [i12]Patricia Bouyer:
Games on graphs with a public signal monitoring. CoRR abs/1710.07163 (2017) - 2016
- [j30]Patricia Bouyer, Patrick Gardy, Nicolas Markey
:
On the semantics of Strategy Logic. Inf. Process. Lett. 116(2): 75-79 (2016) - [c73]Patricia Bouyer, Maximilien Colange
, Nicolas Markey
:
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) 2016: 513-530 - [c72]Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet:
Compositional Design of Stochastic Timed Automata. CSR 2016: 117-130 - [c71]Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Pierre Carlier:
Analysing Decisive Stochastic Processes. ICALP 2016: 101:1-101:14 - [c70]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 - [c69]Patricia Bouyer-Decitre:
Optimal Reachability in Weighted Timed Automata and Games. MFCS 2016: 3:1-3:3 - [c68]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. MFCS 2016: 8:1-8:14 - [c67]Patricia Bouyer, Nicolas Markey
, Daniel Stan
:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF 2016: 61-75 - [i11]Patricia Bouyer, Maximilien Colange, Nicolas Markey:
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR abs/1602.00481 (2016) - [i10]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR abs/1602.05928 (2016) - [i9]S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited. CoRR abs/1607.05671 (2016) - [i8]Patricia Bouyer, Vincent Jugé, Nicolas Markey:
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR abs/1610.00571 (2016) - [i7]Patricia Bouyer, Vincent Jugé:
Dynamic Complexity of the Dyck Reachability. CoRR abs/1610.07499 (2016) - [i6]Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann:
Bounding Average-energy Games. CoRR abs/1610.07858 (2016) - 2015
- [j29]Patricia Bouyer, Romain Brenguier, Nicolas Markey
, Michael Ummels:
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11(2) (2015) - [j28]Patricia Bouyer, Erwin Fang, Nicolas Markey:
Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j27]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. 563: 43-74 (2015) - [c66]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
On the Value Problem in Weighted Timed Games. CONCUR 2015: 311-324 - [c65]Patricia Bouyer, Nicolas Markey
, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS 2015: 60-75 - [c64]Patricia Bouyer, Patrick Gardy, Nicolas Markey:
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS 2015: 69-83 - [c63]Patricia Bouyer:
On the optimal reachability problem in weighted timed automata and games. NCMA 2015: 11-36 - [c62]Patricia Bouyer, Nicolas Markey
, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. GandALF 2015: 1-15 - [i5]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games (full version). CoRR abs/1512.08106 (2015) - 2014
- [j26]Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
:
Stochastic Timed Automata. Log. Methods Comput. Sci. 10(4) (2014) - [j25]Ocan Sankur, Patricia Bouyer, Nicolas Markey
:
Shrinking timed automata. Inf. Comput. 234: 107-132 (2014) - [j24]Patricia Bouyer, Kim G. Larsen, Nicolas Markey
:
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73: 91-109 (2014) - [c61]Patricia Bouyer, Patrick Gardy, Nicolas Markey
:
Quantitative Verification of Weighted Kripke Structures. ATVA 2014: 64-80 - [c60]Patricia Bouyer, Nicolas Markey
, Raj Mohan Matteplackel:
Averaging in LTL. CONCUR 2014: 266-280 - [c59]Patricia Bouyer, Nicolas Markey, Daniel Stan
:
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS 2014: 351-363 - [c58]Patricia Bouyer, Nicolas Markey
, Steen Vester:
Nash Equilibria in Symmetric Games with Partial Observation. SR 2014: 49-55 - 2013
- [c57]Ocan Sankur, Patricia Bouyer, Nicolas Markey
, Pierre-Alain Reynier:
Robust Controller Synthesis in Timed Automata. CONCUR 2013: 546-560 - [c56]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Weighted Timed Automata and Games. FORMATS 2013: 31-46 - [c55]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robustness in Timed Automata. RP 2013: 1-18 - [i4]Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer:
Emptiness and Universality Problems in Timed Automata with Positive Frequency. CoRR abs/1309.2842 (2013) - 2012
- [j23]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) - [c54]Patricia Bouyer, Romain Brenguier, Nicolas Markey
, Michael Ummels:
Concurrent Games with Ordered Objectives. FoSSaCS 2012: 301-315 - [c53]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) 2012: 128-140 - [c52]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
:
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137 - [c51]Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski
, Quentin Menet:
Almost-Sure Model-Checking of Reactive Timed Automata. QEST 2012: 138-147 - 2011
- [j22]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) - [j21]Patricia Bouyer, Franck Cassez
, François Laroussinie:
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. J. Log. Lang. Inf. 20(2): 169-203 (2011) - [c50]Patricia Bouyer, Nicolas Markey
, Jörg Olschewski, Michael Ummels:
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA 2011: 135-149 - [c49]Patricia Bouyer, Kim G. Larsen, Nicolas Markey
, Ocan Sankur, Claus R. Thrane:
Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91 - [c48]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Model-Checking of Timed Automata via Pumping in Channel Machines. FORMATS 2011: 97-112 - [c47]Ocan Sankur, Patricia Bouyer, Nicolas Markey:
Shrinking Timed Automata. FSTTCS 2011: 90-102 - [c46]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels:
Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS 2011: 375-386 - [c45]Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Amélie Stainer:
Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) 2011: 246-257 - [i3]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
- [j20]Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier:
O-Minimal Hybrid Reachability Games. Log. Methods Comput. Sci. 6(1) (2010) - [j19]Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
:
On the expressiveness of TPTL and MTL. Inf. Comput. 208(2): 97-116 (2010) - [c44]Patricia Bouyer, Romain Brenguier, Nicolas Markey
:
Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR 2010: 192-206 - [c43]Patricia Bouyer, Romain Brenguier, Nicolas Markey
:
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76 - [c42]Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine
, James Worrell
:
Computing Rational Radical Sums in Uniform TC^0. FSTTCS 2010: 308-316 - [c41]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
:
Timed automata with observers under energy constraints. HSCC 2010: 61-70
2000 – 2009
- 2009
- [j18]Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier:
Weighted o-minimal hybrid systems. Ann. Pure Appl. Log. 161(3): 268-288 (2009) - [j17]Patricia Bouyer:
Model-checking Timed Temporal Logics. Electron. Notes Theor. Comput. Sci. 231: 323-341 (2009) - [j16]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Undecidability Results for Timed Automata with Silent Transitions. Fundam. Informaticae 92(1-2): 1-25 (2009) - [c40]Patricia Bouyer, Marie Duflot
, Nicolas Markey
, Gabriel Renault:
Measuring Permissivity in Finite Games. CONCUR 2009: 196-210 - [c39]Christel Baier, Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye:
When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54 - [c38]