( en | de | ru )

 

Disambiguierung von "Daca, Przemyslaw"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CEGAR for compositional analysis of qualitative properties in Markov decision processes.

, , und . Formal Methods Syst. Des., 47 (2): 230-264 (2015)

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.

Wienczyslaw Daca

Przemyslaw Blyszczuk

Przemyslaw Reszka

Przemyslaw Uznanski

Przemyslaw Imielski

 

Weitere Publikationen von Autoren mit dem selben Namen

Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)Compositional Specifications for ioco Testing., , , und . CoRR, (2019)CEGAR for Qualitative Analysis of Probabilistic Systems., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 473-490. Springer, (2014)Compositional Specifications for ioco Testing., , , und . ICST, Seite 373-382. IEEE Computer Society, (2014)Statistical Model Checking: Black or White?, , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 331-349. Springer, (2020)CEGAR for compositional analysis of qualitative properties in Markov decision processes., , und . Formal Methods Syst. Des., 47 (2): 230-264 (2015)Value Iteration for Long-Run Average Reward in Markov Decision Processes., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 201-221. Springer, (2017)Linear Distances between Markov Chains., , , und . CONCUR, Volume 59 von LIPIcs, Seite 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . CoRR, (2015)Complete Composition Operators for IOCO-Testing Theory., , , , und . CBSE, Seite 101-110. ACM, (2015)