Dipartimento di Informatica
Seguici su
Ricercatore/Ricercatrice universitario/a
Model checking of timed and probabilistic systems (timed automata, Markov decision processes)
Consulta la mia agenda