A theory of timed automata (Q1322162): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(94)90010-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2101508170 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4036557 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The benefits of relaxing punctuality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5525343 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theories of automata on \(\omega\)-tapes: a simplified approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037392 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using branching time temporal logic to synthesize synchronization skeletons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037378 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional dynamic logic of nonregular programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating sequential processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3862379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Graph-Theoretic Approach for Timing Analysis and its Implementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complementing deterministic Büchi automata in polynomial time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing and generating infinite sequences by a finite automaton / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3746875 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / 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: Q4385530 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal logic can be more expressive / rank
 
Normal rank

Latest revision as of 14:31, 22 May 2024

scientific article
Language Label Description Also known as
English
A theory of timed automata
scientific article

    Statements

    A theory of timed automata (English)
    0 references
    0 references
    0 references
    5 May 1994
    0 references
    timed language
    0 references
    undecidability
    0 references
    Büchi automata
    0 references
    modeling of time
    0 references
    behavior of real-time systems
    0 references
    timed automata
    0 references
    nondeterministic timed automata
    0 references
    deterministic timed Muller automata
    0 references
    PSPACE-complete
    0 references
    verification
    0 references

    Identifiers