Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948377308> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2948377308 abstract "This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been applied to solve six different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date." @default.
- W2948377308 created "2019-06-14" @default.
- W2948377308 creator A5005383495 @default.
- W2948377308 creator A5013537691 @default.
- W2948377308 creator A5020455116 @default.
- W2948377308 creator A5033330108 @default.
- W2948377308 creator A5039488370 @default.
- W2948377308 creator A5042624051 @default.
- W2948377308 creator A5074526208 @default.
- W2948377308 creator A5077859804 @default.
- W2948377308 date "2019-06-05" @default.
- W2948377308 modified "2023-10-15" @default.
- W2948377308 title "ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics" @default.
- W2948377308 doi "https://doi.org/10.29007/bj1w" @default.
- W2948377308 hasPublicationYear "2019" @default.
- W2948377308 type Work @default.
- W2948377308 sameAs 2948377308 @default.
- W2948377308 citedByCount "3" @default.
- W2948377308 countsByYear W29483773082019 @default.
- W2948377308 countsByYear W29483773082020 @default.
- W2948377308 countsByYear W29483773082023 @default.
- W2948377308 crossrefType "proceedings-article" @default.
- W2948377308 hasAuthorship W2948377308A5005383495 @default.
- W2948377308 hasAuthorship W2948377308A5013537691 @default.
- W2948377308 hasAuthorship W2948377308A5020455116 @default.
- W2948377308 hasAuthorship W2948377308A5033330108 @default.
- W2948377308 hasAuthorship W2948377308A5039488370 @default.
- W2948377308 hasAuthorship W2948377308A5042624051 @default.
- W2948377308 hasAuthorship W2948377308A5074526208 @default.
- W2948377308 hasAuthorship W2948377308A5077859804 @default.
- W2948377308 hasBestOaLocation W29483773081 @default.
- W2948377308 hasConcept C119857082 @default.
- W2948377308 hasConcept C13280743 @default.
- W2948377308 hasConcept C154945302 @default.
- W2948377308 hasConcept C185798385 @default.
- W2948377308 hasConcept C189430467 @default.
- W2948377308 hasConcept C205649164 @default.
- W2948377308 hasConcept C41008148 @default.
- W2948377308 hasConcept C50897621 @default.
- W2948377308 hasConceptScore W2948377308C119857082 @default.
- W2948377308 hasConceptScore W2948377308C13280743 @default.
- W2948377308 hasConceptScore W2948377308C154945302 @default.
- W2948377308 hasConceptScore W2948377308C185798385 @default.
- W2948377308 hasConceptScore W2948377308C189430467 @default.
- W2948377308 hasConceptScore W2948377308C205649164 @default.
- W2948377308 hasConceptScore W2948377308C41008148 @default.
- W2948377308 hasConceptScore W2948377308C50897621 @default.
- W2948377308 hasLocation W29483773081 @default.
- W2948377308 hasLocation W29483773082 @default.
- W2948377308 hasOpenAccess W2948377308 @default.
- W2948377308 hasPrimaryLocation W29483773081 @default.
- W2948377308 hasRelatedWork W1584737477 @default.
- W2948377308 hasRelatedWork W2028665553 @default.
- W2948377308 hasRelatedWork W2086519370 @default.
- W2948377308 hasRelatedWork W2087343574 @default.
- W2948377308 hasRelatedWork W2130974462 @default.
- W2948377308 hasRelatedWork W2378211422 @default.
- W2948377308 hasRelatedWork W2748952813 @default.
- W2948377308 hasRelatedWork W2899084033 @default.
- W2948377308 hasRelatedWork W4321353415 @default.
- W2948377308 hasRelatedWork W972276598 @default.
- W2948377308 isParatext "false" @default.
- W2948377308 isRetracted "false" @default.
- W2948377308 magId "2948377308" @default.
- W2948377308 workType "article" @default.