A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “continuous-time Markov decision processes” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

13

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

1

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

0

citations
Markov automata with multiple objectives
2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

5

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

245

citations

5 results