Jeremy Sproston | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mickael Randour
17 publications
James C. A. Main
3 publications

research

∙ 05/09/2022

Timed Games with Bounded Window Parity Objectives

The window mechanism, introduced by Chatterjee et al. for mean-payoff an...

0 James C. A. Main, et al. ∙

research

∙ 05/14/2021

Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives

The window mechanism was introduced by Chatterjee et al. to reinforce me...

0 James C. A. Main, et al. ∙

research

∙ 06/07/2020

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

Clock-dependent probabilistic timed automata extend classical timed auto...

0 Jeremy Sproston, et al. ∙

research

∙ 09/18/2018

Qualitative Reachability for Open Interval Markov Chains

Interval Markov chains extend classical Markov chains with the possibili...

0 Jeremy Sproston, et al. ∙