FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962295100> ?p ?o ?g. }

• W2962295100 endingPage "649" @default.
• W2962295100 startingPage "630" @default.
• W2962295100 abstract "A controller is a device that interacts with a plant. At each time point, it reads the plant’s state and issues commands with the goal that the plant operates optimally. Constructing optimal controllers is a fundamental and challenging problem. Machine learning techniques have recently been successfully applied to train controllers, yet they have limitations. Learned controllers are monolithic and hard to reason about. In particular, it is difficult to add features without retraining, to guarantee any level of performance, and to achieve acceptable performance when encountering untrained scenarios. These limitations can be addressed by deploying quantitative run-time shields that serve as a proxy for the controller. At each time point, the shield reads the command issued by the controller and may choose to alter it before passing it on to the plant. We show how optimal shields that interfere as little as possible while guaranteeing a desired level of controller performance, can be generated systematically and automatically using reactive synthesis. First, we abstract the plant by building a stochastic model. Second, we consider the learned controller to be a black box. Third, we measure controller performance and shield interference by two quantitative run-time measures that are formally defined using weighted automata. Then, the problem of constructing a shield that guarantees maximal performance with minimal interference is the problem of finding an optimal strategy in a stochastic 2-player game “controller versus shield” played on the abstract state space of the plant with a quantitative objective obtained from combining the performance and interference measures. We illustrate the effectiveness of our approach by automatically constructing lightweight shields for learned traffic-light controllers in various road networks. The shields we generate avoid liveness bugs, improve controller performance in untrained and changing traffic situations, and add features to learned controllers, such as giving priority to emergency vehicles ." @default.
• W2962295100 created "2019-07-23" @default.
• W2962295100 creator A5027153021 @default.
• W2962295100 creator A5029172336 @default.
• W2962295100 creator A5042655793 @default.
• W2962295100 creator A5052607806 @default.
• W2962295100 creator A5053520475 @default.
• W2962295100 creator A5080555605 @default.
• W2962295100 date "2019-01-01" @default.
• W2962295100 modified "2023-09-23" @default.
• W2962295100 title "Run-Time Optimization for Learned Controllers Through Quantitative Games" @default.
• W2962295100 cites W1491322982 @default.
• W2962295100 cites W1506085041 @default.
• W2962295100 cites W1643571618 @default.
• W2962295100 cites W1979349468 @default.
• W2962295100 cites W1981015644 @default.
• W2962295100 cites W2028720147 @default.
• W2962295100 cites W2036910349 @default.
• W2962295100 cites W2107726111 @default.
• W2962295100 cites W2145339207 @default.
• W2962295100 cites W2156093990 @default.
• W2962295100 cites W2156268532 @default.
• W2962295100 cites W2156456150 @default.
• W2962295100 cites W2166834911 @default.
• W2962295100 cites W2168359464 @default.
• W2962295100 cites W2182989809 @default.
• W2962295100 cites W2341066496 @default.
• W2962295100 cites W2414117530 @default.
• W2962295100 cites W2480177474 @default.
• W2962295100 cites W2543296129 @default.
• W2962295100 cites W2569577253 @default.
• W2962295100 cites W2593845678 @default.
• W2962295100 cites W2594877703 @default.
• W2962295100 cites W2736690356 @default.
• W2962295100 cites W2782836056 @default.
• W2962295100 cites W2787908307 @default.
• W2962295100 cites W2803455449 @default.
• W2962295100 cites W2907400790 @default.
• W2962295100 cites W2962736495 @default.
• W2962295100 cites W2963027910 @default.
• W2962295100 cites W2963575966 @default.
• W2962295100 cites W4231208998 @default.
• W2962295100 doi "https://doi.org/10.1007/978-3-030-25540-4_36" @default.
• W2962295100 hasPublicationYear "2019" @default.
• W2962295100 type Work @default.
• W2962295100 sameAs 2962295100 @default.
• W2962295100 citedByCount "32" @default.
• W2962295100 countsByYear W29622951002019 @default.
• W2962295100 countsByYear W29622951002020 @default.
• W2962295100 countsByYear W29622951002021 @default.
• W2962295100 countsByYear W29622951002022 @default.
• W2962295100 countsByYear W29622951002023 @default.
• W2962295100 crossrefType "book-chapter" @default.
• W2962295100 hasAuthorship W2962295100A5027153021 @default.
• W2962295100 hasAuthorship W2962295100A5029172336 @default.
• W2962295100 hasAuthorship W2962295100A5042655793 @default.
• W2962295100 hasAuthorship W2962295100A5052607806 @default.
• W2962295100 hasAuthorship W2962295100A5053520475 @default.
• W2962295100 hasAuthorship W2962295100A5080555605 @default.
• W2962295100 hasBestOaLocation W29622951001 @default.
• W2962295100 hasConcept C112505250 @default.
• W2962295100 hasConcept C126255220 @default.
• W2962295100 hasConcept C127413603 @default.
• W2962295100 hasConcept C133731056 @default.
• W2962295100 hasConcept C154945302 @default.
• W2962295100 hasConcept C203479927 @default.
• W2962295100 hasConcept C2524010 @default.
• W2962295100 hasConcept C2775924081 @default.
• W2962295100 hasConcept C28719098 @default.
• W2962295100 hasConcept C33923547 @default.
• W2962295100 hasConcept C41008148 @default.
• W2962295100 hasConcept C47446073 @default.
• W2962295100 hasConcept C6557445 @default.
• W2962295100 hasConcept C86803240 @default.
• W2962295100 hasConceptScore W2962295100C112505250 @default.
• W2962295100 hasConceptScore W2962295100C126255220 @default.
• W2962295100 hasConceptScore W2962295100C127413603 @default.
• W2962295100 hasConceptScore W2962295100C133731056 @default.
• W2962295100 hasConceptScore W2962295100C154945302 @default.
• W2962295100 hasConceptScore W2962295100C203479927 @default.
• W2962295100 hasConceptScore W2962295100C2524010 @default.
• W2962295100 hasConceptScore W2962295100C2775924081 @default.
• W2962295100 hasConceptScore W2962295100C28719098 @default.
• W2962295100 hasConceptScore W2962295100C33923547 @default.
• W2962295100 hasConceptScore W2962295100C41008148 @default.
• W2962295100 hasConceptScore W2962295100C47446073 @default.
• W2962295100 hasConceptScore W2962295100C6557445 @default.
• W2962295100 hasConceptScore W2962295100C86803240 @default.
• W2962295100 hasLocation W29622951001 @default.
• W2962295100 hasOpenAccess W2962295100 @default.
• W2962295100 hasPrimaryLocation W29622951001 @default.
• W2962295100 hasRelatedWork W153904579 @default.
• W2962295100 hasRelatedWork W2047787160 @default.
• W2962295100 hasRelatedWork W2351856355 @default.
• W2962295100 hasRelatedWork W2354671052 @default.
• W2962295100 hasRelatedWork W2365785480 @default.
• W2962295100 hasRelatedWork W2368796975 @default.
• W2962295100 hasRelatedWork W2393509435 @default.

• next