Probabilistic verification at runtime for self-adaptive systems (2013)

by Antonio Filieri, Giordano Tamburrelli
Venue:Institute for Software Technology (ISTE) University of Stuttgart