Publications

Filters: Author is David Parker [Clear All Filters]

2015

T. Babiak, et al., “The Hanoi Omega-Automata Format”, in Proc. of the 27th Conference on Computer Aided Verification, Part I (CAV), 2015.

2013

C. Dehnert, J. - P. Katoen, and D. Parker, “SMT-Based Bisimulation Minimisation of Markov Models”, in Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, 2013, vol. 7737, p. 28-47.