Q5002806 (Q5002806): Difference between revisions

From MaRDI portal
← Older edit
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
 
Property / cites work
 
Property / cites work: What’s Decidable about Weighted Automata? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidable and Expressive Classes of Probabilistic Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3139838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Learning-Based Compositional Verification for Synchronous Probabilistic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding the value 1 problem for probabilistic leaktight automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic Automata of Bounded Ambiguity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic Automata on Finite Words: Decidable and Undecidable Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Assume-Guarantee Verification for Probabilistic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4397030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: The covering and boundedness problems for vector addition systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the degree of ambiguity of finite automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unbounded-error quantum computation with small space bounds / rank
 
Normal rank

Latest revision as of 06:46, 26 July 2024

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

    Statements

    author
    Laure Daviaud
    0 references
    Marcin Jurdziński
    0 references
    Ranko Lazić
    0 references
    Filip Mazowiecki
    0 references
    Guillermo A. Pérez
    0 references
    James Worrell
    0 references
    publication date
    28 July 2021
    0 references
    zbMATH Keywords
    probabilistic automata
    0 references
    containment
    0 references
    emptiness
    0 references
    ambiguity
    0 references

    Identifiers

    zbMATH DE Number
    7376048
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5002806&oldid=36702563"
    Powered by MediaWiki