Zobrazeno 1 - 10
of 70
pro vyhledávání: '"A. P. P. Junges"'
Autor:
Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected reward
Externí odkaz:
http://arxiv.org/abs/2405.13583
Partially observable Markov decision processes (POMDPs) rely on the key assumption that probability distributions are precisely known. Robust POMDPs (RPOMDPs) alleviate this concern by defining imprecise probabilities, referred to as uncertainty sets
Externí odkaz:
http://arxiv.org/abs/2405.04941
We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-horizon specifications. Our framework builds on oracle-guided inductive
Externí odkaz:
http://arxiv.org/abs/2203.10803
Autor:
Nilson Ferreira de Oliveira Neto, Rafael Antônio Velôso Caixeta, Rodrigo Melim Zerbinati, Amanda Caroline Zarpellon, Matheus Willian Caetano, Debora Pallos, Roger Junges, André Luiz Ferreira Costa, Juan Aitken-Saavedra, Simone Giannecchini, Paulo Henrique Braz-Silva
Publikováno v:
Viruses, Vol 16, Iss 11, p 1759 (2024)
Saliva has emerged as a promising diagnostic fluid for viral infections, enabling the direct analysis of viral genetic material and the detection of infection markers such as proteins, metabolites, microRNAs, and immunoglobulins. This comprehensive r
Externí odkaz:
https://doaj.org/article/1f5c8177df2745e49e4d1f27b04bb17d
Autor:
Badings, Thom, Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk
Publikováno v:
International Journal on Software Tools for Technology Transfer volume 24, pages 803-819 (2022)
We consider parametric Markov decision processes (pMDPs) that are augmented with unknown probability distributions over parameter values. The problem is to compute the probability to satisfy a temporal logic specification with any concrete MDP that c
Externí odkaz:
http://arxiv.org/abs/2112.13020
Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption that the MDP is precisely known. Consequently, parametric MDPs
Externí odkaz:
http://arxiv.org/abs/2107.00108
Autor:
Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A., Broeck, Guy Van Den
We revisit the symbolic verification of Markov chains with respect to finite horizon reachability properties. The prevalent approach iteratively computes step-bounded state reachability probabilities. By contrast, recent advances in probabilistic inf
Externí odkaz:
http://arxiv.org/abs/2105.12326
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This paper considers parametric Markov decision processes (pMDPs) whose transitions are equipped with affine functions over a finite set of parameters. The synthesis problem is to find a parameter valuation such that the instantiated pMDP satisfies a
Externí odkaz:
http://arxiv.org/abs/1803.02884
Publikováno v:
Revista Gestão e Desenvolvimento, Vol 19, Iss 2, Pp 208-231 (2022)
Este estudo teve como objetivo compreender como associações de reciclagem manifestam aspectos de ação coletiva e geram contribuições sociais. Para tanto, foi desenvolvida uma pesquisa qualitativa de viés descritivo, na qual foi realizado um es
Externí odkaz:
https://doaj.org/article/04f2c218669c484eac5e4982d7f0de3a