Probabilistic Modal Specifications (Invited Extended Abstract)

Kim G. Larsen,Axel Legay
DOI: https://doi.org/10.1007/978-3-319-07602-7_1
2014-01-01
Abstract:This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the stochastic setting.
What problem does this paper attempt to address?