<div class="csl-bib-body">
<div class="csl-entry">Dobe, O., Wilke, L., Ábrahám, E., Bartocci, E., & Bonakdarpour, B. (2022). Probabilistic Hyperproperties with Rewards. In J. V. Deshmukh, K. Havelund, & I. Perez (Eds.), <i>NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings</i> (pp. 656–673). Springer. https://doi.org/10.1007/978-3-031-06773-0_35</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/146162
-
dc.description.abstract
Probabilistic hyperproperties describe system properties that are concerned with the probability relation between different system executions. Likewise, it is desirable to relate performance metrics (e.g., energy, execution time, etc.) between multiple runs. This paper introduces the notion of rewards to the temporal logic HyperPCTL by extending the syntax and semantics of the logic to express the accumulated reward relation among different computations. We demonstrate the application of the extended logic in expressing side-channel timing countermeasures, efficiency in probabilistic conformance, path planning in robotics applications, and recovery time in distributed self-stabilizing systems. We also propose a model checking algorithm for verifying Markov Decision Processes against HyperPCTL with rewards and report experimental results.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Hyperproperties
en
dc.subject
Markov models
en
dc.subject
Model checking
en
dc.subject
Policy
en
dc.subject
Rewards
en
dc.title
Probabilistic Hyperproperties with Rewards
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Michigan State University, United States of America (the)
-
dc.contributor.affiliation
RWTH Aachen University, Germany
-
dc.contributor.affiliation
RWTH Aachen University, Germany
-
dc.contributor.affiliation
Michigan State University, United States of America (the)
-
dc.relation.isbn
978-3-031-06773-0
-
dc.description.startpage
656
-
dc.description.endpage
673
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
-
tuw.container.volume
13260
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-031-06773-0_35
-
dc.description.numberOfPages
18
-
tuw.author.orcid
0000-0002-5647-6134
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.event.name
14th International Symposium of NASA Formal Methods (NFM 2022)
en
tuw.event.startdate
24-05-2022
-
tuw.event.enddate
27-05-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Pasadena, CA
-
tuw.event.country
US
-
tuw.event.presenter
Dobe, Oyendrila
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
restricted
-
crisitem.author.dept
Michigan State University
-
crisitem.author.dept
RWTH Aachen University
-
crisitem.author.dept
RWTH Aachen University
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
