( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Owl: A Library for ω-Words, Automata, and LTL.

, , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 543-550. Springer, (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.

Ludwig Meggendorfer

Walburga Meggendorfer

Irmingard Meggendorfer

Ludwig Meggendorfer

Hildegard Meggendorfer

 

Другие публикации лиц с тем же именем

Verification of Discrete-Time Markov Decision Processes.. Technical University of Munich, Germany, (2021)Rabinizer 4: From LTL to Your Favourite Deterministic Automaton., , , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 567-577. Springer, (2018)Solving Robust Markov Decision Processes: Generic, Reliable, Efficient., , и . CoRR, (2024)Reachability Poorman Discrete-Bidding Games., , , , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 141-148. IOS Press, (2023)SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning., , , и . TACAS (1), том 15696 из Lecture Notes in Computer Science, стр. 233-253. Springer, (2025)Solving Robust Markov Decision Processes: Generic, Reliable, Efficient., , и . AAAI, стр. 26631-26641. AAAI Press, (2025)Sound Statistical Model Checking for Probabilities and Expected Rewards., , , , и . TACAS (1), том 15696 из Lecture Notes in Computer Science, стр. 167-190. Springer, (2025)Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes., и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 380-399. Springer, (2017)Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives., , и . LICS, стр. 1-14. IEEE, (2023)MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives., , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 86-112. Springer, (2023)