( 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

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)Verification of Discrete-Time Markov Decision Processes.. Technical University of Munich, Germany, (2021)Solving Robust Markov Decision Processes: Generic, Reliable, Efficient., , and . CoRR, (2024)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 . AAAI, page 26631-26641. AAAI Press, (2025)SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning., , , and . TACAS (1), volume 15696 of Lecture Notes in Computer Science, page 233-253. Springer, (2025)Sound Statistical Model Checking for Probabilities and Expected Rewards., , , , and . TACAS (1), volume 15696 of Lecture Notes in Computer Science, page 167-190. Springer, (2025)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)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)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)