Hugo Bazille
16
Documents
Publications
Publications
|
|
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⟩
Article dans une revue
hal-04303982
v1
|
|
|
Towards an efficient conversion of Petri nets into Higher Dimensional Automata AmazighModélisation des Systèmes Réactifs, Nov 2025, Reims, France
Communication dans un congrès
hal-05281114
v1
|
|
|
Petri Nets and Higher-Dimensional AutomataPetri Nets 2025, Jun 2025, Aubervillers (Campus Condorcet), France. ⟨10.1007/978-3-031-94634-9_2⟩
Communication dans un congrès
hal-05013777
v1
|
|
|
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⟩
Communication dans un congrès
hal-04580362
v1
|
|
|
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⟩
Communication dans un congrès
hal-03695798
v1
|
|
|
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
Communication dans un congrès
hal-03065571
v1
|
|
|
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⟩
Communication dans un congrès
hal-02350252
v1
|
|
|
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
Communication dans un congrès
hal-02350253
v1
|
|
|
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⟩
Communication dans un congrès
hal-01943401
v1
|
|
|
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⟩
Communication dans un congrès
hal-01943440
v1
|
|
|
Diagnosability Degree of Stochastic Discrete Event SystemsCDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731
Communication dans un congrès
hal-01651232
v1
|
|
|
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
Communication dans un congrès
hal-01063030
v1
|
|
|
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata2025
Pré-publication, Document de travail
hal-05291481
v1
|
|
|
Languages of Higher-Dimensional Timed Automata2024
Pré-publication, Document de travail
hal-04444648
v1
|
|
|
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems2022
Pré-publication, Document de travail
hal-03850362
v1
|
|
|
Detection and quantification of events in stochastic systemsMachine Learning [cs.LG]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S107⟩
Thèse
tel-02954814
v1
|
Chargement...
Chargement...