Jeremy Sproston

Available identifiers

zbMath Open sproston.jeremyMaRDI QIDQ846014

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6176109	2023-08-21	Paper
Timed games with bounded window parity objectives	2023-01-18	Paper
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5028426	2022-02-09	Paper
Probabilistic timed automata with clock-dependent probabilities	2021-05-21	Paper
Verification and control for probabilistic hybrid automata with finite bisimulations	2019-03-27	Paper
Qualitative reachability for open interval Markov chains	2018-10-23	Paper
Probabilistic timed automata with clock-dependent probabilities	2017-12-20	Paper
Qualitative Analysis of VASS-Induced MDPs	2016-06-10	Paper
Verification and Control of Probabilistic Rectangular Hybrid Automata	2015-09-14	Paper
An extension of the inverse method to probabilistic timed automata	2014-06-30	Paper
Solving Parity Games on Integer Vectors	2013-08-12	Paper
Simulation and Bisimulation for Probabilistic Timed Automata	2010-09-10	Paper
State explosion in almost-sure probabilistic reachability	2010-01-29	Paper
Strict Divergence for Probabilistic Timed Automata	2009-10-22	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Model Checking Probabilistic Timed Automata with One or Two Clocks	2008-11-13	Paper
Model Checking Probabilistic Timed Automata with One or Two Clocks	2007-09-03	Paper
From Time Petri Nets to Timed Automata: An Untimed Approach	2007-09-03	Paper
Symbolic model checking for probabilistic timed automata	2007-07-16	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4813204	2004-08-13	Paper
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4791267	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536598	2002-11-28	Paper
Automatic verification of real-time systems with discrete probability distributions.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2766628	2002-06-17	Paper

Research outcomes over time

This page was built for person: Jeremy Sproston