Superposition as a decision procedure for timed automata (Q1949086)

From MaRDI portal
Revision as of 10:13, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Superposition as a decision procedure for timed automata
scientific article

    Statements

    title
    Superposition as a decision procedure for timed automata (English)
    0 references
    author
    Arnaud Fietzke
    0 references
    Christoph Weidenbach
    0 references
    publication date
    25 April 2013
    0 references
    zbMATH DE Number
    6157645
    0 references
    zbMATH Keywords
    superposition
    0 references
    hierarchic theorem proving
    0 references
    timed automata
    0 references
    decision procedures
    0 references
    describes a project that uses
    Uppaal
    0 references
    Kronos
    0 references
    YAGO
    0 references
    OpenAlex ID
    W2076908710
    0 references
    cites work
    Q4036557
    0 references
    Q4785507
    0 references
    Q4422082
    0 references
    Q2751353
    0 references
    Q4282593
    0 references
    Q4809077
    0 references
    Q2751377
    0 references
    Q2723913
    0 references
    Q3838762
    0 references
    Uppaal in a nutshell
    0 references
    Q5590814
    0 references
    Q2751359
    0 references
    Q4953405
    0 references
    Q4818802
    0 references
    Q2842869
    0 references
    Q5792485
    0 references
    Q4539608
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1949086&oldid=35331032"
    Powered by MediaWiki