SPROSTON, Jeremy James

SPROSTON, Jeremy James  

INFORMATICA  

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