Hugo Bazille

Publications

Article dans une revue (2)

Closure and decision properties for higher-dimensional automata Amazigh Amrane,Hugo Bazille,Uli Fahrenberg,Krzysztof Ziemiański Theoretical Computer Science, 2025, 1036, pp.115156. ⟨10.1016/j.tcs.2025.115156⟩ Article dans une revue hal-05278036v1
On the complexity of bounded time and precision reachability for piecewise affine systems Hugo Bazille,Olivier Bournez,Walid Gomaa,Amaury Pouly Theoretical Computer Science, 2018, 735, pp.132-146. ⟨10.1016/j.tcs.2016.09.021⟩ Article dans une revue hal-04303982v1

Communication dans un congrès (11)

Petri nets and higher-dimensional automata Amazigh Amrane,Hugo Bazille,Uli Fahrenberg,Loïc Hélouët,Philipp Schlehuber-Caissier The 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), Jun 2025, Aubervillers, France. pp.18-40, ⟨10.1007/978-3-031-94634-9_2⟩ Communication dans un congrès hal-05013777v1
Towards an efficient conversion of petri nets into higher dimensional automata Amazigh Amrane,Hugo Bazille,Timothée Fragnaud,Philipp Schlehuber-Caissier Modélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France Communication dans un congrès hal-05281114v1
Closure and Decision Properties for Higher-Dimensional Automata Amazigh Amrane,Hugo Bazille,Uli Fahrenberg,Krzysztof Ziemiański 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), Dec 2023, Lima, Peru. ⟨10.1007/978-3-031-47963-2_18⟩ Communication dans un congrès hal-04580362v1
On Robustness for the Skolem and Positivity Problems S Akshay,Hugo Bazille,Blaise Genest,Mihir Vahanwala STACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, May 2022, Marseille, France. pp.1-20, ⟨10.4230/LIPIcs.STACS.2022.5⟩ Communication dans un congrès hal-03695798v1
Global PAC Bounds for Learning Discrete Time Markov Chains Hugo Bazille,Blaise Genest,Cyrille Jegourel,Jun Sun CAV 2020 - 32nd International Conference on Computer-Aided Verification, Jul 2020, Los Angeles, United States. pp.304-326 Communication dans un congrès hal-03065571v1
Classification among Hidden Markov Models S. Akshay,Hugo Bazille,Eric Fabre,Blaise Genest FSTTCS 2019 - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩ Communication dans un congrès hal-02350252v1
Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019 Hugo Bazille,Eric Fabre,Blaise Genest AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10 Communication dans un congrès hal-02350253v1
Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings Hugo Bazille,Eric Fabre,Blaise Genest FOSSACS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.403-419, ⟨10.1007/978-3-319-89366-2_22⟩ Communication dans un congrès hal-01943440v1
Complexity reduction techniques for quantified diagnosability of stochastic systems Hugo Bazille,Eric Fabre,Blaise Genest WODES'18 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩ Communication dans un congrès hal-01943401v1
Diagnosability Degree of Stochastic Discrete Event Systems Hugo Bazille,Eric Fabre,Blaise Genest CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731 Communication dans un congrès hal-01651232v1
Computational Protein Design: trying an Answer Set Programming approach to solve the problem Hugo Bazille,Jacques Nicolas 10th Workshop on Constraint-Based Methods for Bioinformatics (WCB'14), Nicos Angelopoulos (Imperial College, UK) Simon de Givry (MIAT-INRA, France), Sep 2014, Lyon, France Communication dans un congrès hal-01063030v1

Pré-publication, Document de travail (3)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata Amazigh Amrane,Hugo Bazille,Emily Clement,Marie Fortin,Uli Fahrenberget al. 2025 Pré-publication, Document de travail hal-05291481v1
Languages of Higher-Dimensional Timed Automata Amazigh Amrane,Hugo Bazille,Emily Clement,Uli Fahrenberg 2024 Pré-publication, Document de travail hal-04444648v1
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems S. Akshay,Hugo Bazille,Blaise Genest,Mihir Vahanwala 2022 Pré-publication, Document de travail hal-03850362v1

Thèse (1)

Detection and quantiﬁcation of events in stochastic systems Hugo Bazille Machine Learning [cs.LG]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S107⟩ Thèse tel-02954814v1