Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
What's decidable about recursive hybrid automata? - MaRDI portal

What's decidable about recursive hybrid automata? (Q2988912)

From MaRDI portal
scientific article
Language Label Description Also known as
English
What's decidable about recursive hybrid automata?
scientific article

    Statements

    title
    What's decidable about recursive hybrid automata? (English)
    0 references
    author
    Lakshmi Manasa
    0 references
    Ashutosh Trivedi
    0 references
    publication date
    19 May 2017
    0 references
    zbMATH DE Number
    6721609
    0 references
    zbMATH Keywords
    hybrid automata
    0 references
    recursive state machines
    0 references
    Simulink
    0 references
    OpenAlex ID
    W2083004834
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2988912&oldid=36323011"
    Powered by MediaWiki