Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366451070> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4366451070 endingPage "250" @default.
- W4366451070 startingPage "229" @default.
- W4366451070 abstract "Abstract We present a verification-based learning framework VEL that synthesizes safe programmatic controllers for environments with continuous state and action spaces. The key idea is the integration of program reasoning techniques into controller training loops. VEL performs abstraction-based program verification to reason about a programmatic controller and its environment as a closed-loop system. Based on a novel verification-guided synthesis loop for training, VEL minimizes the amount of safety violation in the proof space of the system, which approximates the worst-case safety loss, using gradient-descent style optimization. Experimental results demonstrate the substantial benefits of leveraging verification feedback for synthesizing provably correct controllers." @default.
- W4366451070 created "2023-04-22" @default.
- W4366451070 creator A5004145814 @default.
- W4366451070 creator A5062588973 @default.
- W4366451070 date "2023-01-01" @default.
- W4366451070 modified "2023-10-14" @default.
- W4366451070 title "Verification-guided Programmatic Controller Synthesis" @default.
- W4366451070 cites W1963790880 @default.
- W4366451070 cites W2043100293 @default.
- W4366451070 cites W2053572490 @default.
- W4366451070 cites W2130096835 @default.
- W4366451070 cites W2176215692 @default.
- W4366451070 cites W2794609696 @default.
- W4366451070 cites W2892521964 @default.
- W4366451070 cites W2899116309 @default.
- W4366451070 cites W2900153411 @default.
- W4366451070 cites W2936674544 @default.
- W4366451070 cites W2938701611 @default.
- W4366451070 cites W2964130946 @default.
- W4366451070 cites W3034174753 @default.
- W4366451070 cites W3046272654 @default.
- W4366451070 cites W3091691175 @default.
- W4366451070 cites W3091798065 @default.
- W4366451070 cites W3100366369 @default.
- W4366451070 cites W3104303413 @default.
- W4366451070 cites W3104371626 @default.
- W4366451070 cites W3185700666 @default.
- W4366451070 cites W4290087551 @default.
- W4366451070 cites W4293024065 @default.
- W4366451070 cites W4312828861 @default.
- W4366451070 doi "https://doi.org/10.1007/978-3-031-30820-8_16" @default.
- W4366451070 hasPublicationYear "2023" @default.
- W4366451070 type Work @default.
- W4366451070 citedByCount "0" @default.
- W4366451070 crossrefType "book-chapter" @default.
- W4366451070 hasAuthorship W4366451070A5004145814 @default.
- W4366451070 hasAuthorship W4366451070A5062588973 @default.
- W4366451070 hasBestOaLocation W43664510701 @default.
- W4366451070 hasConcept C105795698 @default.
- W4366451070 hasConcept C111472728 @default.
- W4366451070 hasConcept C111919701 @default.
- W4366451070 hasConcept C124304363 @default.
- W4366451070 hasConcept C127413603 @default.
- W4366451070 hasConcept C133731056 @default.
- W4366451070 hasConcept C138885662 @default.
- W4366451070 hasConcept C149635348 @default.
- W4366451070 hasConcept C153258448 @default.
- W4366451070 hasConcept C154945302 @default.
- W4366451070 hasConcept C199360897 @default.
- W4366451070 hasConcept C203479927 @default.
- W4366451070 hasConcept C26517878 @default.
- W4366451070 hasConcept C33923547 @default.
- W4366451070 hasConcept C41008148 @default.
- W4366451070 hasConcept C50644808 @default.
- W4366451070 hasConcept C6557445 @default.
- W4366451070 hasConcept C72434380 @default.
- W4366451070 hasConcept C86803240 @default.
- W4366451070 hasConceptScore W4366451070C105795698 @default.
- W4366451070 hasConceptScore W4366451070C111472728 @default.
- W4366451070 hasConceptScore W4366451070C111919701 @default.
- W4366451070 hasConceptScore W4366451070C124304363 @default.
- W4366451070 hasConceptScore W4366451070C127413603 @default.
- W4366451070 hasConceptScore W4366451070C133731056 @default.
- W4366451070 hasConceptScore W4366451070C138885662 @default.
- W4366451070 hasConceptScore W4366451070C149635348 @default.
- W4366451070 hasConceptScore W4366451070C153258448 @default.
- W4366451070 hasConceptScore W4366451070C154945302 @default.
- W4366451070 hasConceptScore W4366451070C199360897 @default.
- W4366451070 hasConceptScore W4366451070C203479927 @default.
- W4366451070 hasConceptScore W4366451070C26517878 @default.
- W4366451070 hasConceptScore W4366451070C33923547 @default.
- W4366451070 hasConceptScore W4366451070C41008148 @default.
- W4366451070 hasConceptScore W4366451070C50644808 @default.
- W4366451070 hasConceptScore W4366451070C6557445 @default.
- W4366451070 hasConceptScore W4366451070C72434380 @default.
- W4366451070 hasConceptScore W4366451070C86803240 @default.
- W4366451070 hasLocation W43664510701 @default.
- W4366451070 hasOpenAccess W4366451070 @default.
- W4366451070 hasPrimaryLocation W43664510701 @default.
- W4366451070 hasRelatedWork W1990807783 @default.
- W4366451070 hasRelatedWork W2010473512 @default.
- W4366451070 hasRelatedWork W2166247150 @default.
- W4366451070 hasRelatedWork W2170204012 @default.
- W4366451070 hasRelatedWork W2796366855 @default.
- W4366451070 hasRelatedWork W3160136729 @default.
- W4366451070 hasRelatedWork W3216885170 @default.
- W4366451070 hasRelatedWork W4243252198 @default.
- W4366451070 hasRelatedWork W4249959811 @default.
- W4366451070 hasRelatedWork W4301700615 @default.
- W4366451070 isParatext "false" @default.
- W4366451070 isRetracted "false" @default.
- W4366451070 workType "book-chapter" @default.