
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
- 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]Patricia Bouyer, Vojtech Forejt:
Reachability in Stochastic Timed Games. ICALP (2) 2009: 103-114 - 2008
- [j15]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. 32(1): 3-23 (2008) - [j14]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. 206(1): 73-107 (2008) - [j13]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
:
Model Checking One-Clock Priced Timed Automata. Log. Methods Comput. Sci. 4(2) (2008) - [c37]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey
, Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47 - [c36]Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski
, Ranko Lazic, Michal Rutkowski:
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. FORMATS 2008: 63-77 - [c35]Patricia Bouyer, Nicolas Markey
, Pierre-Alain Reynier:
Robust Analysis of Timed Automata via Channel Machines. FoSSaCS 2008: 157-171 - [c34]Patricia Bouyer, Nicolas Markey
, Joël Ouaknine
, James Worrell
:
On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135 - [c33]Christel Baier, Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Marcus Größer:
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226 - [c32]Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Nicolas Markey
:
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64 - [c31]Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell:
On Termination for Faulty Channel Machines. STACS 2008: 121-132 - [i2]Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell:
On Termination for Faulty Channel Machines. CoRR abs/0802.2839 (2008) - [i1]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model Checking One-clock Priced Timed Automata. CoRR abs/0805.1457 (2008) - 2007
- [j12]Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin:
On the optimal reachability problem of weighted timed automata. Formal Methods Syst. Des. 31(2): 135-175 (2007) - [c30]Patricia Bouyer, Nicolas Markey
:
Costs Are Expensive! FORMATS 2007: 53-68 - [c29]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
:
Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122 - [c28]Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer:
Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191 - [c27]Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier:
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS 2007: 69-83 - [c26]Patricia Bouyer, Nicolas Markey
, Joël Ouaknine
, James Worrell
:
The Cost of Punctuality. LICS 2007: 109-120 - 2006
- [j11]Patricia Bouyer, Fabrice Chevalier:
On the Control of Timed and Hybrid Systems. Bull. EATCS 89: 79-96 (2006) - [j10]Patricia Bouyer, Thomas Brihaye, Nicolas Markey
:
Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006) - [j9]Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
:
Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. 8(3): 204-215 (2006) - [c25]Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad:
Extended Timed Automata and Time Petri Nets. ACSD 2006: 91-100 - [c24]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Unfoldings for Networks of Timed Automata. ATVA 2006: 292-306 - [c23]