( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration".

, и . (января 2023)

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.

Tobias Winkler

Tobias Winkler

Tobias Winkler

Tobias David Winkler

Tobias Tobias

 

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

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs., , , и . CoRR, (2023)Weighted programming: a programming paradigm for specifying mathematical models., , , , и . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-30 (2022)Model Checking Temporal Properties of Recursive Probabilistic Programs., , и . FoSSaCS, том 13242 из Lecture Notes in Computer Science, стр. 449-469. Springer, (2022)Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains., , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 237-257. Springer, (2024)Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration., и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 391-409. Springer, (2023)Model Checking Temporal Properties of Recursive Probabilistic Programs., , и . Log. Methods Comput. Sci., (2023)Exact Probabilistic Inference Using Generating Functions., , , и . CoRR, (2023)Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions., , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 79-101. Springer, (2022)Markenallianzen als Form der Markenkombination, , и . Schriftenreihe Marketing Management Leibniz Univ., Inst. für Marketing & Management, Hannover, (2007)ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration"., и . (января 2023)