Keyword:probabilistic systems

Papers
Parameter Synthesis for Probabilistic Hyperproperties Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications Matteo Camilli, Angelo Gargantini, Rosario Madaudo and Patrizia Scandurra EasyChair Preprint no. 2255