Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bazille, Hugo
63  Ergebnisse:
Personensuche X
?
1

Languages of Higher-Dimensional Timed Automata:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,
Amrane, Amazigh ; Bazille, Hugo ; Clement, Emily. - p. 197-219 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Closure and Decision Properties for Higher-Dimensional Auto..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Amrane, Amazigh ; Bazille, Hugo ; Fahrenberg, Uli. - p. 295-312 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Global PAC Bounds for Learning Discrete Time Markov Chains:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bazille, Hugo ; Genest, Blaise ; Jegourel, Cyrille. - p. 304-326 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Symbolically Quantifying Response Time in Stochastic Models..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Bazille, Hugo ; Fabre, Eric ; Genest, Blaise - p. 403-419 , 2018
Link: https://doi.org/10.1007/..
 
?
5

On the complexity of bounded time and precision reachabilit..:

Bazille, Hugo ; Bournez, Olivier ; Gomaa, Walid.
Theoretical Computer Science.  735 (2018)  - p. 132-146 , 2018
Link: https://doi.org/10.1016/..
 
?
6

Languages of Higher-Dimensional Timed Automata:

Amrane, Amazigh ; Bazille, Hugo ; Clement, Emily.
http://arxiv.org/abs/2401.17444.  , 2024
Link: http://arxiv.org/abs/240..
 
?
7

Closure and Decision Properties for Higher-Dimensional Auto..:

Amrane, Amazigh ; Bazille, Hugo ; Fahrenberg, Uli.
http://arxiv.org/abs/2305.02873.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

On Robustness for the Skolem and Positivity Problems:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2022.5.  , 2022
Link: https://hal.science/hal-..
 
?
9

On Robustness for the Skolem, Positivity and Ultimate Posit..:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
http://arxiv.org/abs/2211.02365.  , 2022
Link: http://arxiv.org/abs/221..
 
?
10

On Robustness for the Skolem and Positivity Problems:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2022.5.  , 2022
Link: https://hal.science/hal-..
 
?
11

On Robustness for the Skolem, Positivity and Ultimate Posit..:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/arxiv/2211.02365.  , 2022
Link: https://hal.science/hal-..
 
?
12

On Robustness for the Skolem and Positivity Problems:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2022.5.  , 2022
Link: https://hal.science/hal-..
 
?
13

On Robustness for the Skolem, Positivity and Ultimate Posit..:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/arxiv/2211.02365.  , 2022
Link: https://hal.science/hal-..
 
?
14

On Robustness for the Skolem and Positivity Problems:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2022.5.  , 2022
Link: https://hal.science/hal-..
 
?
15

On Robustness for the Skolem and Positivity Problems:

Akshay, S ; Bazille, Hugo ; Genest, Blaise.
doi:10.4230/LIPIcs.STACS.2022.5.  , 2022
Link: https://doi.org/10.4230/..
 
1-15