Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
probabilistic systems
Publications
Parameter Synthesis for Probabilistic Hyperproperties
Erika Abraham
,
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 2255
Copyright © 2012-2024 easychair.org. All rights reserved.