Probabilistic Modal Specifications (Invited Extended 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.