Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

93 résultats
Page :
triés par
Image document

Synthesizing safe coalition strategies

 Nathalie Bertrand , Patricia Bouyer , Anirban Majumdar
FSTTCS'20, Dec 2020, on line, India
Communication dans un congrès hal-02917538v1

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

 Patricia Bouyer , Mickael Randour , Pierre Vandenhove
TheoretiCS, 2023, Volume 2, ⟨10.46298/theoretics.23.1⟩
Article dans une revue hal-04236233v1
Image document

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels

 Patricia Bouyer , Nicolas Markey , Nicolas Perrin , Philipp Schlehuber-Caissier
Formal Modeling and Analysis of Timed Systems, 9268, Springer International Publishing, pp.60 - 75, 2015, Lecture Notes in Computer Science, 978-3-319-22974-4. ⟨10.1007/978-3-319-22975-1_5⟩
Chapitre d'ouvrage hal-01395104v1
Image document

On the Expressiveness of TPTL and~MTL

 Patricia Bouyer , Fabrice Chevalier , Nicolas Markey
Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), 2005, Hyderabad, India. pp.432-443, ⟨10.1007/11590156_35⟩
Communication dans un congrès hal-01194615v1
Image document

Stochastic timed automata

 Nathalie Bertrand , Patricia Bouyer , Thomas Brihaye , Quentin Menet , Christel Baier , et al.
Logical Methods in Computer Science, 2014, 10 (4), ⟨10.2168/LMCS-10(4:6)2014⟩
Article dans une revue hal-01102368v1
Image document

Synthesis in presence of dynamic links

 Béatrice Bérard , Benedikt Bollig , Patricia Bouyer , Matthias Függer , Nathalie Sznajder
Information and Computation, 2022, 289 (Part B), pp.104856. ⟨10.1016/j.ic.2021.104856⟩
Article dans une revue hal-03518879v1
Image document

On Expressiveness and Complexity in Real-time Model Checking

 Patricia Bouyer , Nicolas Markey , Joël Ouaknine , James Worrell
Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP'08)~― Part~II, 2008, Reykjavik, Iceland. pp.124-135, ⟨10.1007/978-3-540-70583-3_11⟩
Communication dans un congrès hal-01194597v1
Image document

Analysing Decisive Stochastic Processes

 Nathalie Bertrand , Patricia Bouyer , Thomas Brihaye , Pierre Carlier
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 2016, Rome, Italy. pp.101:1-101:14, ⟨10.4230/LIPIcs.ICALP.2016.101⟩
Communication dans un congrès hal-01397794v1
Image document

Infinite Runs in Weighted Timed Automata with Energy Constraints

 Patricia Bouyer , Uli Fahrenberg , Kim Guldstrand Larsen , Nicolas Markey , Jiří Srba
Proceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), 2008, Saint-Malo, France. pp.33-47, ⟨10.1007/978-3-540-85778-5_4⟩
Communication dans un congrès hal-01194594v1

Timed automata

 Patricia Bouyer
Handbook of Automata Theory, European Mathematical Society Publishing House, 2021
Chapitre d'ouvrage hal-03654382v1
Image document

Updatable Timed Automata

 Patricia Bouyer , Catherine Dufourd , Emmanuel Fleury , Antoine Petit
Theoretical Computer Science, 2004, 321 (2-3), pp.291-345. ⟨10.1016/j.tcs.2004.04.003⟩
Article dans une revue hal-00350196v1
Image document

Concurrent parameterized games

 Nathalie Bertrand , Patricia Bouyer , Anirban Majumdar
FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-15
Communication dans un congrès hal-02351236v1
Image document

Games Where You Can Play Optimally with Arena-Independent Finite Memory

 Patricia Bouyer , Stéphane Le Roux , Youssouf Oualhadj , Mickael Randour , Pierre Vandenhove
31st International Conference on Concurrency Theory (CONCUR'20), Sep 2020, Vienna, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.18⟩
Communication dans un congrès hal-02917552v1
Image document

Reconfiguration and message losses in parameterized broadcast networks

 Nathalie Bertrand , Patricia Bouyer , Anirban Majumdar
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1 - 15, ⟨10.4230/LIPIcs.CONCUR.2019.32⟩
Communication dans un congrès hal-02191382v1
Image document

On Termination for Faulty Channel Machines

 Patricia Bouyer , Nicolas Markey , Joël Ouaknine , Philippe Schnoebelen , James Worrell
STACS 2008, Feb 2008, Bordeaux, France. pp.121-132
Communication dans un congrès hal-00220515v1
Image document

Lower-Bound Constrained Runs in Weighted Timed Automata

 Patricia Bouyer , Kim Guldstrand Larsen , Nicolas Markey
Performance Evaluation, 2014, 73, pp.91-109. ⟨10.1016/j.peva.2013.11.002⟩
Article dans une revue hal-01016100v1
Image document

Model Checking One-clock Priced Timed Automata

 Patricia Bouyer , Kim Guldstrand Larsen , Nicolas Markey
Logical Methods in Computer Science, 2008, 4 (2:9), ⟨10.2168/LMCS-4(2:9)2008⟩
Article dans une revue hal-01194599v1
Image document

Improved Undecidability Results on Weighted Timed Automata

 Patricia Bouyer , Thomas Brihaye , Nicolas Markey
Information Processing Letters, 2006, 98 (5), pp.188-194. ⟨10.1016/j.ipl.2006.01.012⟩
Article dans une revue hal-01194609v1
Image document

Decisiveness of Stochastic Systems and its Application to Hybrid Models

 Patricia Bouyer , Thomas Brihaye , Mickael Randour , Cédric Rivière , Pierre Vandenhove
11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20), Sep 2020, Brussels, Belgium
Communication dans un congrès hal-02917546v1
Image document

Averaging in~LTL

 Patricia Bouyer , Nicolas Markey , Raj~mohan Matteplackel
Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14), Sep 2014, Rome, Italy. pp.266-280, ⟨10.1007/978-3-662-44584-6_19⟩
Communication dans un congrès hal-01062173v1
Image document

Timed-automata abstraction of switched dynamical systems using control invariants

 Patricia Bouyer , Nicolas Markey , Nicolas Perrin , Philipp Schlehuber-Caissier
Real-Time Systems, 2017, pp.1-27. ⟨10.1007/s11241-016-9262-3⟩
Article dans une revue hal-01436413v1

Formal Modeling and Analysis of Timed Systems

 Eugene Asarin , Patricia Bouyer
Springer, pp.367, 2006, ⟨10.1007/11867340⟩
Ouvrages hal-00157540v1
Image document

Multi-weighted Markov Decision Processes with Reachability Objectives

 Patricia Bouyer , Mauricio Gonzalez , Nicolas Markey , Mickaël Randour
Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2018, Sarrebruck, Germany. pp.250 - 264, ⟨10.4204/EPTCS.277.18⟩
Communication dans un congrès hal-01889020v1
Image document

Average-energy games

 Patricia Bouyer , Nicolas Markey , Mickaël Randour , Kim G. Larsen , Simon Laursen
Acta Informatica, 2018, 55 (2), pp.91 - 127. ⟨10.1007/s00236-016-0274-1⟩
Article dans une revue hal-01889005v1

Probabilistic and Topological Semantics for Timed Automata.

 Christel Baier , Nathalie Bertrand , Patricia Bouyer , Thomas Brihaye , Marcus Grösser
27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), Dec 2007, Dehli, India. pp.179-191, ⟨10.1007/978-3-540-77050-3_15⟩
Communication dans un congrès inria-00424526v1
Image document

Synthesis of Optimal Strategies Using HyTech

 Patricia Bouyer , Franck Cassez , Emmanuel Fleury , Kim Guldstrand Larsen
Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. pp.11-31, ⟨10.1016/j.entcs.2004.07.006⟩
Communication dans un congrès hal-00350478v1
Image document

Robust Model-Checking of Linear-Time Properties in Timed Automata

 Patricia Bouyer , Nicolas Markey , Pierre-Alain Reynier
Proceedings of the 7th Latin American Symposium on Theoretical Informatics (LATIN'06), 2006, Valdivia, Chile. pp.238-249, ⟨10.1007/11682462_25⟩
Communication dans un congrès hal-01194610v1

Finite-Memory Strategies in Two-Player Infinite Games

 Patricia Bouyer , Stéphane Le Roux , Nathan Thomasset
CSL'22, Feb 2022, on line, Germany. ⟨10.4230/LIPIcs.CSL.2022.8⟩
Communication dans un congrès hal-03654358v1

Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives

 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux
FoSSaCS'23, Apr 2023, Paris, France. pp.541-560, ⟨10.1007/978-3-031-30829-1_26⟩
Communication dans un congrès hal-04175965v1
Image document

On the determinization of timed systems

 Patricia Bouyer , Samy Jaziri , Nicolas Markey
FORMATS'17, Sep 2017, Berlin, Germany. pp.25-41, ⟨10.1007/978-3-319-65765-32⟩
Communication dans un congrès hal-01566436v1
Page :