×

Found 5,648 Documents (Results 1–100)

Some multidimensional stochastic models of inventory control with a separable cost function. (English. Ukrainian original) Zbl 1503.90009

Cybern. Syst. Anal. 58, No. 4, 523-529 (2022); translation from Kibern. Sist. Anal. 58, No. 4, 38-45 (2022).
PDF BibTeX XML Cite
Full Text: DOI

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. (English) Zbl 1514.68113

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 3-25 (2022).
MSC:  68Q60 90C40
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstraction-refinement for hierarchical probabilistic models. (English) Zbl 1514.68029

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 102-123 (2022).
MSC:  68N19 68Q60 90C40
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software