E-LIB Suche - Ergebnisse für: Andriushchenko, Roman

1

Deductive Controller Synthesis for Probabilistic Hyperprope..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan.. - p. 288-306 , 2023

Link: https://doi.org/10.1007/..

2

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan... - p. 113-135 , 2023

Link: https://doi.org/10.1007/..

3

GPU-Accelerated Synthesis of Probabilistic Programs:

, In: Computer Aided Systems Theory – EUROCAST 2022; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Marcin, Vladimír. - p. 258-266 , 2022

Link: https://doi.org/10.1007/..

4

Inductive Synthesis for Probabilistic Programs Reaches New ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Junges, Sebastian. - p. 191-209 , 2021

Link: https://doi.org/10.1007/..

5

Adaptive formal approximations of Markov chains:

Abate, Alessandro ; Andriushchenko, Roman ; Češka, Milan.
Performance Evaluation. 148 (2021) - p. 102207 , 2021

Link: https://doi.org/10.1016/..

6

PAYNT: A Tool for Inductive Synthesis of Probabilistic Prog..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Češka, Milan ; Junges, Sebastian.. - p. 856-869 , 2021

Link: https://doi.org/10.1007/..

7

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513. , 2023

Link: https://zenodo.org/recor..

8

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513. , 2023

Link: https://zenodo.org/recor..

9

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman
doi:10.5281/zenodo.7874513. , 2023

Link: https://zenodo.org/recor..

10

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-37709-9. , 2023

Link: https://publications.rwt..

11

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman
doi:10.5281/zenodo.7874513. , 2023

Link: https://zenodo.org/recor..

12

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
http://arxiv.org/abs/2305.14149. , 2023

Link: http://arxiv.org/abs/230..

13

Artifact supplement for 'Search and Explore: Symbiotic Poli..:

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan...
doi:10.5281/zenodo.7874513. , 2023

Link: https://zenodo.org/recor..

14

Deductive Controller Synthesis for Probabilistic Hyperprope..:

Andriushchenko, Roman ; Bartocci, Ezio ; Ceska, Milan..
http://arxiv.org/abs/2307.04503. , 2023

Link: http://arxiv.org/abs/230..

15

Artifact supplement for R. Andriushchenko et. al. 'Inductiv..:

Andriushchenko, Roman
doi:10.5281/zenodo.6637489. , 2022

Link: https://zenodo.org/recor..