( en | de | ru )

 

Disambiguierung von "Quatmann, Tim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correct-by-construction policies for POMDPs.

, , , , , , und . SNR, Seite 6-8. ACM, (2019)

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.

August Quatmann

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Arnold Timberg

Jörg Frithjof Timm

Friedel Timmermann

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of multi-objective Markov models.. RWTH Aachen University, Germany, (2023)Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs., , und . (November 2021)The probabilistic model checker Storm., , , , und . Int. J. Softw. Tools Technol. Transf., 24 (4): 589-610 (2022)On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report., , , , , , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 216-241. Springer, (2020)Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs., , und . (November 2021)Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains., , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 237-257. Springer, (2024)Multi-cost Bounded Tradeoff Analysis in MDP., , , und . J. Autom. Reason., 64 (7): 1483-1522 (2020)Simple Strategies in Multi-Objective MDPs (Technical Report)., , , und . CoRR, (2019)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)Simple Strategies in Multi-Objective MDPs., , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 346-364. Springer, (2020)