Hugo Bazille

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Venues

CoRR

FoSSaCS

CAV (2)

University of Rennes, Inria, SUMO Team, France (PHD)

Education History

University of Rennes, Inria, SUMO Team, France

PHD

Publications

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
Languages of Higher-Dimensional Timed Automata. CoRR (2024)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC (2023)
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
Developments in Higher-Dimensional Automata Theory. CoRR (2023)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem and Positivity Problems. STACS (2022)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. CoRR (2022)
Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) (2020)
S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
Classification Among Hidden Markov Models. FSTTCS (2019)
Hugo Bazille, Eric Fabre, Blaise Genest
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. FoSSaCS (2018)
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
On the complexity of bounded time and precision reachability for piecewise affine systems. Theor. Comput. Sci. 735 (2018)
Hugo Bazille, Eric Fabre, Blaise Genest
Diagnosability degree of stochastic discrete event systems. CDC (2017)
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems. CoRR (2016)
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems. RP (2014)

Hugo Bazille.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hugo Bazille