Verifying quantitative properties of continuous probabilistic timed automata (2000)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Citations:33 - 9 self