Random Models for Evaluating Efficient Büchi Universality Checking (Q5224494): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Turing-machines and the Entscheidungsproblem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Antichains for the Automata-Based Approach to Model-Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Random Models for Evaluating Efficient Büchi Universality Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient Büchi Universality Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Büchi Complementation and Size-Change Termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Markov Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The transitive closure of a random digraph / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weak alternating automata are not that weak / rank
 
Normal rank
Property / cites work
 
Property / cites work: Antichains: A New Algorithm for Checking Universality of Finite Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: State of Büchi Complementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Advanced Ramsey-Based Büchi Automata Inclusion Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complementation problem for Büchi automata with applications to temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Experimental Evaluation of Classical Automata Constructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Büchi Complementation Saga / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about infinite computations / rank
 
Normal rank

Latest revision as of 23:19, 19 July 2024

scientific article; zbMATH DE number 7084732
Language Label Description Also known as
English
Random Models for Evaluating Efficient Büchi Universality Checking
scientific article; zbMATH DE number 7084732

    Statements

    Identifiers