( en | de | ru )

 

Disambiguation of "Meggendorfer, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

, and . LICS, page 609-618. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ludwig Meggendorfer

Walburga Meggendorfer

Irmingard Meggendorfer

Ludwig Meggendorfer

Hildegard Meggendorfer

 

Other publications of authors with the same name

Verification of Discrete-Time Markov Decision Processes.. Technical University of Munich, Germany, (2021)Rabinizer 4: From LTL to Your Favourite Deterministic Automaton., , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 567-577. Springer, (2018)Reachability Poorman Discrete-Bidding Games., , , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 141-148. IOS Press, (2023)Solving Robust Markov Decision Processes: Generic, Reliable, Efficient., , and . CoRR, (2024)Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth., , , and . SODA, page 4590-4605. SIAM, (2023)Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs., , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 55-78. Springer, (2022)MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 86-112. Springer, (2023)Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes., and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 380-399. Springer, (2017)Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives., , and . LICS, page 1-14. IEEE, (2023)Tools at the Frontiers of Quantitative Verification., , , , , , , , , and 13 other author(s). CoRR, (2024)