Articles with public access mandates - Jeremy SprostonLearn more
Available somewhere: 4
Solving parity games on integer vectors
PA Abdulla, R Mayr, A Sangnier, J Sproston
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
Mandates: Government of Italy
Qualitative analysis of VASS-induced MDPs
PA Abdulla, R Ciobanu, R Mayr, A Sangnier, J Sproston
International Conference on Foundations of Software Science and Computation …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Exact and approximate abstraction for classes of stochastic hybrid systems
JJ Sproston
Electronic Communications of the EASST 70, 99-113, 2014
Mandates: Government of Italy
Verification and control of probabilistic rectangular hybrid automata
J Sproston
International Conference on Formal Modeling and Analysis of Timed Systems, 1-9, 2015
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program