A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “expected total reward”
2
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Verification of Multi-Objective Markov Models: Replication Package
2023
Zenodo (CERN European Organization for Nuclear Research)
dataset
Computer Science
Formal Methods in Verification
Open access
Tim Quatmann
0
citations
Verification of Multi-Objective Markov Models: Replication Package
2023
Zenodo (CERN European Organization for Nuclear Research)
dataset
Computer Science
Formal Methods in Verification
Open access
Tim Quatmann
0
citations
2 results