SPROSTON, Jeremy James
SPROSTON, Jeremy James
INFORMATICA
An Extension of the Inverse Method to Probabilistic Timed Automata
2009-01-01 E. ANDRE; L. FRIBOURG; J. SPROSTON
Analysis of timed properties using the jump-diffusion approximation
2017-01-01 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
2008-01-01 N. CHAMSEDDINE; M. DUFLOT; L. FRIBOURG; C. PICARONNY; J. SPROSTON
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata
2011-01-01 J. SPROSTON
Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems
2014-01-01 J. SPROSTON
Performability Measure Specification: Combining CSRL and MSL
2011-01-01 A. ALDINI; M. BERNARDO; J. SPROSTON
Preface
2023-01-01 L. Petrucci, J. Sproston
Probabilistic Timed Automata with Clock-Dependent Probabilities
2017-01-01 J. SPROSTON
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
2020-01-01 J. Sproston
Qualitative analysis of VASS-induced MDPs
2016-01-01 Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
Qualitative Reachability for Open Interval Markov Chains
2018-01-01 J. Sproston
Simulation and Bisimulation for Probabilistic Timed Automata
2010-01-01 J. SPROSTON; A. TROINA
Solving Parity Games on Integer Vectors
2013-01-01 P. A. ABDULLA; R. MAYR; A. SANGNIER; J. SPROSTON
Strict Divergence for Probabilistic Timed Automata
2009-01-01 J. SPROSTON
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
2021-01-01 James C. A. Main, Mickael Randour, Jeremy Sproston
Timed Games with Bounded Window Parity Objectives
2022-01-01 James C. A. Main, Mickael Randour, Jeremy Sproston
Verification and Control of Probabilistic Rectangular Hybrid Automata
2015-01-01 Sproston, Jeremy