The Satisfiability and Validity Problems for Probabilistic CTL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F24%3A00139282" target="_blank" >RIV/00216224:14330/24:00139282 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-031-72621-7_2" target="_blank" >http://dx.doi.org/10.1007/978-3-031-72621-7_2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-72621-7_2" target="_blank" >10.1007/978-3-031-72621-7_2</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The Satisfiability and Validity Problems for Probabilistic CTL

Popis výsledku v původním jazyce

Probabilistic CTL is obtained from the standard CTL (Computational Tree Logic) by replacing the existential and universal path quantifiers with the probabilistic operator where the probability of runs satisfying a given path formula is bounded by a rational constant. We survey the existing results about the satisfiability and validity problems for probabilistic CTL, and we also present some of the underlying proof techniques.

Název v anglickém jazyce

The Satisfiability and Validity Problems for Probabilistic CTL

Popis výsledku anglicky

Probabilistic CTL is obtained from the standard CTL (Computational Tree Logic) by replacing the existential and universal path quantifiers with the probabilistic operator where the probability of runs satisfying a given path formula is bounded by a rational constant. We survey the existing results about the satisfiability and validity problems for probabilistic CTL, and we also present some of the underlying proof techniques.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

18th International Conference on Reachability Problems, RP 2024

ISBN

9783031726200

ISSN

0302-9743

e-ISSN

1611-3349

Počet stran výsledku

10

Strana od-do

9-18

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Vienna, AUSTRIA

Datum konání akce

1. 4. 2024

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001329982700002