Dipartimento di Informatica
Follow us
Researcher
Model checking of timed and probabilistic systems (timed automata, Markov decision processes)
See my calendar