No label defined (Q5009427)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7378557

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

Statements

scholarly article

0 references

Paulin Fournier

0 references

0 references

publication date

4 August 2021

0 references

full work available at URL

https://arxiv.org/abs/1802.04067

0 references

zbMATH Keywords

zero-automata

0 references

probabilities

0 references

temporal logics

0 references

MaRDI profile type

MaRDI publication profile

0 references

Probabilistic ω-automata

0 references

Thin MSO with a Probabilistic Path Quantifier.

0 references

0 references

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

0 references

Randomization in Automata on Infinite Trees

0 references

0 references

“Sometimes” and “not never” revisited

0 references

A logic for reasoning about time and reliability

0 references

An automata-theoretic approach to branching-time model checking

0 references

Reasoning with time and chance

0 references

Measure Quantifier in Monadic Second Order Logic

0 references

0 references

Alternating automata on infinite trees

0 references

0 references

Probabilistic automata

0 references

Identifiers

10.4230/LIPIcs.CONCUR.2018.13

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5009427

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