%0 Journal Article %1 journals/iandc/DobeABB22 %A Dobe, Oyendrila %A Ábrahám, Erika %A Bartocci, Ezio %A Bonakdarpour, Borzoo %D 2022 %J Inf. Comput. %K dblp %N Part %P 104978 %T Model checking hyperproperties for Markov decision processes. %U http://dblp.uni-trier.de/db/journals/iandc/iandc289.html#DobeABB22 %V 289

@article{journals/iandc/DobeABB22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dobe, Oyendrila and Ábrahám, Erika and Bartocci, Ezio and Bonakdarpour, Borzoo}, biburl = {https://www.bibsonomy.org/bibtex/233fcd37dd5eb4067b41e9a8301e3e918/dblp}, ee = {https://doi.org/10.1016/j.ic.2022.104978}, interhash = {296854eccbbf67bd4fc30bc0754af5c1}, intrahash = {33fcd37dd5eb4067b41e9a8301e3e918}, journal = {Inf. Comput.}, keywords = {dblp}, number = {Part}, pages = 104978, timestamp = {2024-04-09T06:08:04.000+0200}, title = {Model checking hyperproperties for Markov decision processes.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc289.html#DobeABB22}, volume = 289, year = 2022 }