DMCA

Parameter synthesis for probabilistic timed automata using stochastic game abstractions. (2014)

by Aleksandra Jovanović , Marta Kwiatkowska
Citations:1 - 1 self