A Method for Measuring the Dynamics of Voter Turnout with Evidence from the 2004 and 2008 U.S. Presidential Election14 luglio 2010
Computing probabilities over DBM domains to integrate qualitative verification and quantitative evaluation of timed stochastic models30 giugno 2010In the development of reactive systems with nondeterministic densely-valued temporal parameters,...
Probabilistic automata and verification25 giugno 2010Christel Baier, Technische Universitaet Dresden Automata-based model checking relies on a...
