bibliographer - Jeremy Sproston

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory Jeremy Sproston [github]

Timed Games with Bounded Window Parity Objectives James C. A. Main Mickael Randour Jeremy Sproston [github]

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities Jeremy Sproston [github]

Model Checking Probabilistic Timed Automata with One or Two Clocks Marcin Jurdziński François Laroussinie Jeremy Sproston [github]

Qualitative Analysis of VASS-Induced MDPs Parosh Aziz Abdulla Radu Ciobanu Richard Mayr Arnaud Sangnier Jeremy Sproston [github]

Solving Parity Games on Integer Vectors Parosh Aziz Abdulla Richard Mayr Arnaud Sangnier Jeremy Sproston [github]

Model Checking of Probabilistic Timed and Hybrid Systems Jeremy Sproston [github]

From Time Petri Nets to Timed Automata: An Untimed Approach Davide D'Aprile Susanna Donatelli Arnaud Sangnier Jeremy Sproston [github]

Library Size: 13G (8 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]