( en | de | ru )

 

Disambiguierung von "Meggendorfer, Tobias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Owl: A Library for ω-Words, Automata, and LTL.

, , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 543-550. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ludwig Meggendorfer

Walburga Meggendorfer

Irmingard Meggendorfer

Ludwig Meggendorfer

Hildegard Meggendorfer

 

Weitere Publikationen von Autoren mit dem selben Namen

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