( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correct-by-construction policies for POMDPs.

, , , , , , и . SNR, стр. 6-8. ACM, (2019)

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.

August Quatmann

Tim Mattern

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

Stefan Timm

Carmen Timke

Roman Timofeev

 

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

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