Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965660219> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2965660219 endingPage "442" @default.
- W2965660219 startingPage "432" @default.
- W2965660219 abstract "We present VerifAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VerifAI particularly addresses challenges with applying formal methods to ML components such as perception systems based on deep neural networks, as well as systems containing them, and to model and analyze system behavior in the presence of environment uncertainty. We describe the initial version of VerifAI, which centers on simulation-based verification and synthesis, guided by formal models and specifications. We give examples of several use cases, including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data set augmentation." @default.
- W2965660219 created "2019-08-13" @default.
- W2965660219 creator A5011756605 @default.
- W2965660219 creator A5016475359 @default.
- W2965660219 creator A5044414209 @default.
- W2965660219 creator A5062980852 @default.
- W2965660219 creator A5064230639 @default.
- W2965660219 creator A5076798051 @default.
- W2965660219 creator A5084296935 @default.
- W2965660219 date "2019-01-01" @default.
- W2965660219 modified "2023-10-11" @default.
- W2965660219 title "VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems" @default.
- W2965660219 cites W1885037678 @default.
- W2965660219 cites W2017001763 @default.
- W2965660219 cites W2065948900 @default.
- W2965660219 cites W2131399618 @default.
- W2965660219 cites W2604347212 @default.
- W2965660219 cites W2794609696 @default.
- W2965660219 cites W2893132739 @default.
- W2965660219 cites W2913463408 @default.
- W2965660219 cites W2963087201 @default.
- W2965660219 cites W2963208512 @default.
- W2965660219 cites W2963398918 @default.
- W2965660219 cites W3023761398 @default.
- W2965660219 cites W3098394944 @default.
- W2965660219 cites W3105484905 @default.
- W2965660219 cites W3163244177 @default.
- W2965660219 cites W3210651049 @default.
- W2965660219 cites W618708471 @default.
- W2965660219 doi "https://doi.org/10.1007/978-3-030-25540-4_25" @default.
- W2965660219 hasPublicationYear "2019" @default.
- W2965660219 type Work @default.
- W2965660219 sameAs 2965660219 @default.
- W2965660219 citedByCount "111" @default.
- W2965660219 countsByYear W29656602192019 @default.
- W2965660219 countsByYear W29656602192020 @default.
- W2965660219 countsByYear W29656602192021 @default.
- W2965660219 countsByYear W29656602192022 @default.
- W2965660219 countsByYear W29656602192023 @default.
- W2965660219 crossrefType "book-chapter" @default.
- W2965660219 hasAuthorship W2965660219A5011756605 @default.
- W2965660219 hasAuthorship W2965660219A5016475359 @default.
- W2965660219 hasAuthorship W2965660219A5044414209 @default.
- W2965660219 hasAuthorship W2965660219A5062980852 @default.
- W2965660219 hasAuthorship W2965660219A5064230639 @default.
- W2965660219 hasAuthorship W2965660219A5076798051 @default.
- W2965660219 hasAuthorship W2965660219A5084296935 @default.
- W2965660219 hasBestOaLocation W29656602191 @default.
- W2965660219 hasConcept C110251889 @default.
- W2965660219 hasConcept C111498074 @default.
- W2965660219 hasConcept C115903868 @default.
- W2965660219 hasConcept C116253237 @default.
- W2965660219 hasConcept C118615104 @default.
- W2965660219 hasConcept C119857082 @default.
- W2965660219 hasConcept C154945302 @default.
- W2965660219 hasConcept C162838799 @default.
- W2965660219 hasConcept C177264268 @default.
- W2965660219 hasConcept C199360897 @default.
- W2965660219 hasConcept C33923547 @default.
- W2965660219 hasConcept C41008148 @default.
- W2965660219 hasConcept C50644808 @default.
- W2965660219 hasConcept C75606506 @default.
- W2965660219 hasConceptScore W2965660219C110251889 @default.
- W2965660219 hasConceptScore W2965660219C111498074 @default.
- W2965660219 hasConceptScore W2965660219C115903868 @default.
- W2965660219 hasConceptScore W2965660219C116253237 @default.
- W2965660219 hasConceptScore W2965660219C118615104 @default.
- W2965660219 hasConceptScore W2965660219C119857082 @default.
- W2965660219 hasConceptScore W2965660219C154945302 @default.
- W2965660219 hasConceptScore W2965660219C162838799 @default.
- W2965660219 hasConceptScore W2965660219C177264268 @default.
- W2965660219 hasConceptScore W2965660219C199360897 @default.
- W2965660219 hasConceptScore W2965660219C33923547 @default.
- W2965660219 hasConceptScore W2965660219C41008148 @default.
- W2965660219 hasConceptScore W2965660219C50644808 @default.
- W2965660219 hasConceptScore W2965660219C75606506 @default.
- W2965660219 hasLocation W29656602191 @default.
- W2965660219 hasLocation W29656602192 @default.
- W2965660219 hasLocation W29656602193 @default.
- W2965660219 hasOpenAccess W2965660219 @default.
- W2965660219 hasPrimaryLocation W29656602191 @default.
- W2965660219 hasRelatedWork W1503941568 @default.
- W2965660219 hasRelatedWork W174007698 @default.
- W2965660219 hasRelatedWork W2121553991 @default.
- W2965660219 hasRelatedWork W2248653679 @default.
- W2965660219 hasRelatedWork W2556057931 @default.
- W2965660219 hasRelatedWork W2605218250 @default.
- W2965660219 hasRelatedWork W2741430969 @default.
- W2965660219 hasRelatedWork W2950051185 @default.
- W2965660219 hasRelatedWork W2965660219 @default.
- W2965660219 hasRelatedWork W3181896926 @default.
- W2965660219 isParatext "false" @default.
- W2965660219 isRetracted "false" @default.
- W2965660219 magId "2965660219" @default.
- W2965660219 workType "book-chapter" @default.