Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912198824> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2912198824 endingPage "211" @default.
- W2912198824 startingPage "206" @default.
- W2912198824 abstract "Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language. The paper describes the strategies and their properties, construction and transformation algorithms and a typical tool usage scenario." @default.
- W2912198824 created "2019-02-21" @default.
- W2912198824 creator A5005712593 @default.
- W2912198824 creator A5024475534 @default.
- W2912198824 creator A5028307375 @default.
- W2912198824 creator A5057539324 @default.
- W2912198824 creator A5069362159 @default.
- W2912198824 date "2015-01-01" @default.
- W2912198824 modified "2023-10-03" @default.
- W2912198824 title "Uppaal Stratego" @default.
- W2912198824 cites W1489391022 @default.
- W2912198824 cites W1563355994 @default.
- W2912198824 cites W1599995366 @default.
- W2912198824 cites W1790432088 @default.
- W2912198824 cites W1862398452 @default.
- W2912198824 cites W1882160752 @default.
- W2912198824 cites W1956986296 @default.
- W2912198824 cites W2125930621 @default.
- W2912198824 cites W2139101939 @default.
- W2912198824 cites W2171808413 @default.
- W2912198824 cites W2481150835 @default.
- W2912198824 cites W88515723 @default.
- W2912198824 doi "https://doi.org/10.1007/978-3-662-46681-0_16" @default.
- W2912198824 hasPublicationYear "2015" @default.
- W2912198824 type Work @default.
- W2912198824 sameAs 2912198824 @default.
- W2912198824 citedByCount "108" @default.
- W2912198824 countsByYear W29121988242015 @default.
- W2912198824 countsByYear W29121988242016 @default.
- W2912198824 countsByYear W29121988242017 @default.
- W2912198824 countsByYear W29121988242018 @default.
- W2912198824 countsByYear W29121988242019 @default.
- W2912198824 countsByYear W29121988242020 @default.
- W2912198824 countsByYear W29121988242021 @default.
- W2912198824 countsByYear W29121988242022 @default.
- W2912198824 countsByYear W29121988242023 @default.
- W2912198824 crossrefType "book-chapter" @default.
- W2912198824 hasAuthorship W2912198824A5005712593 @default.
- W2912198824 hasAuthorship W2912198824A5024475534 @default.
- W2912198824 hasAuthorship W2912198824A5028307375 @default.
- W2912198824 hasAuthorship W2912198824A5057539324 @default.
- W2912198824 hasAuthorship W2912198824A5069362159 @default.
- W2912198824 hasBestOaLocation W29121988241 @default.
- W2912198824 hasConcept C104317684 @default.
- W2912198824 hasConcept C110251889 @default.
- W2912198824 hasConcept C115903868 @default.
- W2912198824 hasConcept C120314980 @default.
- W2912198824 hasConcept C120665830 @default.
- W2912198824 hasConcept C121332964 @default.
- W2912198824 hasConcept C139807058 @default.
- W2912198824 hasConcept C154945302 @default.
- W2912198824 hasConcept C185592680 @default.
- W2912198824 hasConcept C199360897 @default.
- W2912198824 hasConcept C204241405 @default.
- W2912198824 hasConcept C2776436953 @default.
- W2912198824 hasConcept C2777212361 @default.
- W2912198824 hasConcept C2779791154 @default.
- W2912198824 hasConcept C41008148 @default.
- W2912198824 hasConcept C55493867 @default.
- W2912198824 hasConceptScore W2912198824C104317684 @default.
- W2912198824 hasConceptScore W2912198824C110251889 @default.
- W2912198824 hasConceptScore W2912198824C115903868 @default.
- W2912198824 hasConceptScore W2912198824C120314980 @default.
- W2912198824 hasConceptScore W2912198824C120665830 @default.
- W2912198824 hasConceptScore W2912198824C121332964 @default.
- W2912198824 hasConceptScore W2912198824C139807058 @default.
- W2912198824 hasConceptScore W2912198824C154945302 @default.
- W2912198824 hasConceptScore W2912198824C185592680 @default.
- W2912198824 hasConceptScore W2912198824C199360897 @default.
- W2912198824 hasConceptScore W2912198824C204241405 @default.
- W2912198824 hasConceptScore W2912198824C2776436953 @default.
- W2912198824 hasConceptScore W2912198824C2777212361 @default.
- W2912198824 hasConceptScore W2912198824C2779791154 @default.
- W2912198824 hasConceptScore W2912198824C41008148 @default.
- W2912198824 hasConceptScore W2912198824C55493867 @default.
- W2912198824 hasLocation W29121988241 @default.
- W2912198824 hasOpenAccess W2912198824 @default.
- W2912198824 hasPrimaryLocation W29121988241 @default.
- W2912198824 hasRelatedWork W1494913990 @default.
- W2912198824 hasRelatedWork W1550519739 @default.
- W2912198824 hasRelatedWork W2061230361 @default.
- W2912198824 hasRelatedWork W2062952062 @default.
- W2912198824 hasRelatedWork W2118300983 @default.
- W2912198824 hasRelatedWork W2166247150 @default.
- W2912198824 hasRelatedWork W2364866360 @default.
- W2912198824 hasRelatedWork W2807707818 @default.
- W2912198824 hasRelatedWork W4243252198 @default.
- W2912198824 hasRelatedWork W4244167827 @default.
- W2912198824 isParatext "false" @default.
- W2912198824 isRetracted "false" @default.
- W2912198824 magId "2912198824" @default.
- W2912198824 workType "book-chapter" @default.