Jeremy Sproston

Identifiers

• name variant Jeremy Sproston 0.60 · backfill

Papers (5)

1. Qualitative Reachability for Open Interval Markov Chains cs.LO · 2018 · author #1
2. Probabilistic Timed Automata with Clock-Dependent Probabilities cs.LO · 2017 · author #1
3. Qualitative Analysis of VASS-Induced MDPs cs.LO · 2015 · author #5
4. Solving Parity Games on Integer Vectors cs.LO · 2013 · author #4
5. Model Checking Probabilistic Timed Automata with One or Two Clocks cs.LO · 2008 · author #3

Mentions

• 1306.2806 #4 · backfill · confidence 0.70 Jeremy Sproston
• 0809.0060 #3 · backfill · confidence 0.70 Jeremy Sproston

Frequent Coauthors

• Arnaud Sangnier 2 shared papers
• Parosh Aziz Abdulla 2 shared papers
• Richard Mayr 2 shared papers
• Francois Laroussinie 1 shared papers
• Marcin Jurdzinski 1 shared papers
• Radu Ciobanu 1 shared papers