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
On Reachability for Hybrid Automata over Bounded Time - MaRDI portal

On Reachability for Hybrid Automata over Bounded Time (Q3012937)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Reachability for Hybrid Automata over Bounded Time
scientific article

    Statements

    title
    On Reachability for Hybrid Automata over Bounded Time (English)
    0 references
    author
    Thomas Brihaye
    0 references
    Laurent Doyen
    0 references
    Gilles Geeraerts
    0 references
    Joël Ouaknine
    0 references
    Jean-François Raskin
    0 references
    James Worrell
    0 references
    publication date
    7 July 2011
    0 references
    describes a project that uses
    PHAVer
    0 references
    HyTech
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q17
    0 references
    68Q45
    0 references
    68Q85
    0 references
    93B03
    0 references
    zbMATH DE Number
    5918163
    0 references
    OpenAlex ID
    W1854945613
    0 references
    arXiv ID
    1104.5335
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3012937&oldid=35236443"
    Powered by MediaWiki