Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313429538> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4313429538 endingPage "355" @default.
- W4313429538 startingPage "342" @default.
- W4313429538 abstract "Reinforcement-Learning-based solutions have achieved many successes in numerous complex tasks. However, their training process may be unstable, and achieving convergence can be difficult, expensive, and in some instances impossible. We propose herein an approach that enables the integration of strong formal verification methods in order to improve the learning process as well as prove convergence. During the learning process, formal methods serve as experts to identify weaknesses in the learned model, improve it, and even lead it to converge. By evaluating our approach on several common problems, which have already been studied and solved by classical methods, we demonstrate the strength and potential of our core idea of incorporating formal methods into the training process of Reinforcement Learning methods." @default.
- W4313429538 created "2023-01-06" @default.
- W4313429538 creator A5006323055 @default.
- W4313429538 creator A5009333472 @default.
- W4313429538 creator A5017918894 @default.
- W4313429538 creator A5060241708 @default.
- W4313429538 creator A5076646389 @default.
- W4313429538 date "2023-01-01" @default.
- W4313429538 modified "2023-09-27" @default.
- W4313429538 title "Learning Through Imitation by Using Formal Verification" @default.
- W4313429538 cites W1999874108 @default.
- W4313429538 cites W2046635105 @default.
- W4313429538 cites W2137766675 @default.
- W4313429538 cites W2149368520 @default.
- W4313429538 cites W2167955381 @default.
- W4313429538 cites W2604382266 @default.
- W4313429538 cites W2787908307 @default.
- W4313429538 cites W2967595108 @default.
- W4313429538 cites W3127561923 @default.
- W4313429538 cites W3185438801 @default.
- W4313429538 cites W32403112 @default.
- W4313429538 doi "https://doi.org/10.1007/978-3-031-23101-8_23" @default.
- W4313429538 hasPublicationYear "2023" @default.
- W4313429538 type Work @default.
- W4313429538 citedByCount "0" @default.
- W4313429538 crossrefType "book-chapter" @default.
- W4313429538 hasAuthorship W4313429538A5006323055 @default.
- W4313429538 hasAuthorship W4313429538A5009333472 @default.
- W4313429538 hasAuthorship W4313429538A5017918894 @default.
- W4313429538 hasAuthorship W4313429538A5060241708 @default.
- W4313429538 hasAuthorship W4313429538A5076646389 @default.
- W4313429538 hasConcept C115903868 @default.
- W4313429538 hasConcept C119857082 @default.
- W4313429538 hasConcept C126388530 @default.
- W4313429538 hasConcept C154945302 @default.
- W4313429538 hasConcept C15744967 @default.
- W4313429538 hasConcept C162324750 @default.
- W4313429538 hasConcept C199360897 @default.
- W4313429538 hasConcept C2164484 @default.
- W4313429538 hasConcept C2777303404 @default.
- W4313429538 hasConcept C41008148 @default.
- W4313429538 hasConcept C50522688 @default.
- W4313429538 hasConcept C75606506 @default.
- W4313429538 hasConcept C76155785 @default.
- W4313429538 hasConcept C77805123 @default.
- W4313429538 hasConcept C97541855 @default.
- W4313429538 hasConcept C98045186 @default.
- W4313429538 hasConceptScore W4313429538C115903868 @default.
- W4313429538 hasConceptScore W4313429538C119857082 @default.
- W4313429538 hasConceptScore W4313429538C126388530 @default.
- W4313429538 hasConceptScore W4313429538C154945302 @default.
- W4313429538 hasConceptScore W4313429538C15744967 @default.
- W4313429538 hasConceptScore W4313429538C162324750 @default.
- W4313429538 hasConceptScore W4313429538C199360897 @default.
- W4313429538 hasConceptScore W4313429538C2164484 @default.
- W4313429538 hasConceptScore W4313429538C2777303404 @default.
- W4313429538 hasConceptScore W4313429538C41008148 @default.
- W4313429538 hasConceptScore W4313429538C50522688 @default.
- W4313429538 hasConceptScore W4313429538C75606506 @default.
- W4313429538 hasConceptScore W4313429538C76155785 @default.
- W4313429538 hasConceptScore W4313429538C77805123 @default.
- W4313429538 hasConceptScore W4313429538C97541855 @default.
- W4313429538 hasConceptScore W4313429538C98045186 @default.
- W4313429538 hasLocation W43134295381 @default.
- W4313429538 hasOpenAccess W4313429538 @default.
- W4313429538 hasPrimaryLocation W43134295381 @default.
- W4313429538 hasRelatedWork W260766989 @default.
- W4313429538 hasRelatedWork W2959276766 @default.
- W4313429538 hasRelatedWork W2961085424 @default.
- W4313429538 hasRelatedWork W3037422413 @default.
- W4313429538 hasRelatedWork W3111983280 @default.
- W4313429538 hasRelatedWork W3139193008 @default.
- W4313429538 hasRelatedWork W4206669594 @default.
- W4313429538 hasRelatedWork W4295941380 @default.
- W4313429538 hasRelatedWork W4306674287 @default.
- W4313429538 hasRelatedWork W4319083788 @default.
- W4313429538 isParatext "false" @default.
- W4313429538 isRetracted "false" @default.
- W4313429538 workType "book-chapter" @default.