Matej Hajnal, David Safránek, Tatjana Petrov. DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. In Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens, editors, Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings. Volume 13104 of Lecture Notes in Computer Science, pages 79-95, Springer, 2021. [doi]
Abstract is missing.