Hugo Bazille
Publications
Publications
|
|
Closure and decision properties for higher-dimensional automataTheoretical Computer Science, 2025, 1036, pp.115156. ⟨10.1016/j.tcs.2025.115156⟩ |
|
|
On the complexity of bounded time and precision reachability for piecewise affine systemsTheoretical Computer Science, 2018, 735, pp.132-146. ⟨10.1016/j.tcs.2016.09.021⟩ |
|
|
Petri nets and higher-dimensional automataThe 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⟩ |
|
|
Towards an efficient conversion of petri nets into higher dimensional automataModélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France |
|
|
Closure and Decision Properties for Higher-Dimensional Automata20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), Dec 2023, Lima, Peru. ⟨10.1007/978-3-031-47963-2_18⟩ |
|
|
On Robustness for the Skolem and Positivity ProblemsSTACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, May 2022, Marseille, France. pp.1-20, ⟨10.4230/LIPIcs.STACS.2022.5⟩ |
|
|
Global PAC Bounds for Learning Discrete Time Markov ChainsCAV 2020 - 32nd International Conference on Computer-Aided Verification, Jul 2020, Los Angeles, United States. pp.304-326 |
|
|
Classification among Hidden Markov ModelsFSTTCS 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⟩ |
|
|
Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10 |
|
|
Symbolically Quantifying Response Time in Stochastic Models using Moments and SemiringsFOSSACS 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⟩ |
|
|
Complexity reduction techniques for quantified diagnosability of stochastic systemsWODES'18 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩ |
|
|
Diagnosability Degree of Stochastic Discrete Event SystemsCDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731 |
|
|
Computational Protein Design: trying an Answer Set Programming approach to solve the problem10th Workshop on Constraint-Based Methods for Bioinformatics (WCB'14), Nicos Angelopoulos (Imperial College, UK) Simon de Givry (MIAT-INRA, France), Sep 2014, Lyon, France |
|
|
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata2025 |
|
|
Languages of Higher-Dimensional Timed Automata2024 |
|
|
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems2022 |
|
|
Detection and quantification of events in stochastic systemsMachine Learning [cs.LG]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S107⟩ |