No label defined (Q5009454)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7378580

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7378580

Statements

scholarly article

0 references

0 references

C. R. Ramakrishnan

0 references

publication date

4 August 2021

0 references

zbMATH Keywords

modal mu-calculus

0 references

probabilistic logics

0 references

probabilistic systems

0 references

branching systems

0 references

model checking

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

On the verification of qualitative properties of probabilistic processes under fairness constraints.

0 references

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

0 references

Model Checking Stochastic Branching Processes

0 references

Probabilistic temporal logics via the modal mu-calculus

0 references

0 references

Model Checking Probabilistic Pushdown Automata

0 references

Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations

0 references

Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars

0 references

Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes

0 references

Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations

0 references

Recursive Markov Decision Processes and Recursive Stochastic Games

0 references

Model checking games for the quantitative \(\mu \)-calculus

0 references

Measure properties of regular sets of trees

0 references

Model checking with probabilistic tabled logic programming

0 references

Results on the quantitative μ-calculus <i>qM</i> μ

0 references

0 references

On the equivalence of game and denotational semantics for the probabilistic mu-calculus

0 references

Probabilistic modal {\mu}-calculus with independent product

0 references

Łukasiewicz μ-calculus

0 references

0 references

0 references

Identifiers

10.4230/LIPIcs.CONCUR.2018.36

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5009454

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5009454&oldid=36704031"