HRELTL: a temporal logic for hybrid systems (Q897648): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Created claim: Wikidata QID (P12): Q62041125, #quickstatements; #temporary_batch_1726262144271
Property / Wikidata QID
 
Property / Wikidata QID: Q62041125 / rank
 
Normal rank

Revision as of 22:15, 13 September 2024

scientific article
Language Label Description Also known as
English
HRELTL: a temporal logic for hybrid systems
scientific article

    Statements

    HRELTL: a temporal logic for hybrid systems (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2015
    0 references
    temporal logic
    0 references
    hybrid traces
    0 references
    SAT
    0 references
    SMT
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers