Showing 1 - 3 results of 3 for search 'Jeremy Sproston', query time: 0.01s
Refine Results
-
1
Qualitative reachability for open interval Markov chains by Jeremy Sproston
Published 2023-08-01
Article -
2
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities by Jeremy Sproston
Published 2021-11-01
Article -
3
Model Checking Probabilistic Timed Automata with One or Two Clocks by Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston
Published 2008-09-01
Article