Multiplicative Rewards in Markovian Models

Christel BaierChristel Baier, Krishnendu ChatterjeeKrishnendu Chatterjee, Tobias MeggendorferTobias Meggendorfer, Jakob PiribauerJakob Piribauer

DOI Link

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
Multiplicative Rewards in Markovian Models
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 499-512, 2025. IEEE

Details
Bibtex

Projekt:Project: CPEC, CeTI, SECAI
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{BCMP2025,
  author    = {Christel Baier and Krishnendu Chatterjee and Tobias Meggendorfer
               and Jakob Piribauer},
  title     = {Multiplicative Rewards in Markovian Models},
  booktitle = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science
               (LICS 2025)},
  publisher = {IEEE},
  year      = {2025},
  pages     = {499-512},
  doi       = {10.1109/LICS65433.2025.00044}
}