FRINK Linked Data Fragments server

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

• W2912198069 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 seeks to address challenges with applying formal methods to perception and ML components, including those based on neural networks, and to model and analyze system behavior in the presence of environment uncertainty. We describe the initial version of VERIFAI which centers on simulation guided by formal models and specifications. Several use cases are illustrated with examples, including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data set augmentation." @default.
• W2912198069 created "2019-02-21" @default.
• W2912198069 creator A5011756605 @default.
• W2912198069 creator A5016475359 @default.
• W2912198069 creator A5044414209 @default.
• W2912198069 creator A5062980852 @default.
• W2912198069 creator A5064230639 @default.
• W2912198069 creator A5076798051 @default.
• W2912198069 creator A5084296935 @default.
• W2912198069 date "2019-02-12" @default.
• W2912198069 modified "2023-09-27" @default.
• W2912198069 title "VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems" @default.
• W2912198069 cites W1885037678 @default.
• W2912198069 cites W2017001763 @default.
• W2912198069 cites W2065948900 @default.
• W2912198069 cites W2131399618 @default.
• W2912198069 cites W2156958982 @default.
• W2912198069 cites W2467659428 @default.
• W2912198069 cites W2736601468 @default.
• W2912198069 cites W2794609696 @default.
• W2912198069 cites W2894520414 @default.
• W2912198069 cites W2962702177 @default.
• W2912198069 cites W2963087201 @default.
• W2912198069 cites W2963208512 @default.
• W2912198069 cites W2963398918 @default.
• W2912198069 cites W2963575966 @default.
• W2912198069 cites W3023761398 @default.
• W2912198069 cites W3163244177 @default.
• W2912198069 cites W3210651049 @default.
• W2912198069 cites W618708471 @default.
• W2912198069 hasPublicationYear "2019" @default.
• W2912198069 type Work @default.
• W2912198069 sameAs 2912198069 @default.
• W2912198069 citedByCount "3" @default.
• W2912198069 countsByYear W29121980692019 @default.
• W2912198069 countsByYear W29121980692020 @default.
• W2912198069 crossrefType "posted-content" @default.
• W2912198069 hasAuthorship W2912198069A5011756605 @default.
• W2912198069 hasAuthorship W2912198069A5016475359 @default.
• W2912198069 hasAuthorship W2912198069A5044414209 @default.
• W2912198069 hasAuthorship W2912198069A5062980852 @default.
• W2912198069 hasAuthorship W2912198069A5064230639 @default.
• W2912198069 hasAuthorship W2912198069A5076798051 @default.
• W2912198069 hasAuthorship W2912198069A5084296935 @default.
• W2912198069 hasConcept C110251889 @default.
• W2912198069 hasConcept C111498074 @default.
• W2912198069 hasConcept C115903868 @default.
• W2912198069 hasConcept C118615104 @default.
• W2912198069 hasConcept C119857082 @default.
• W2912198069 hasConcept C154945302 @default.
• W2912198069 hasConcept C162838799 @default.
• W2912198069 hasConcept C169760540 @default.
• W2912198069 hasConcept C177264268 @default.
• W2912198069 hasConcept C199360897 @default.
• W2912198069 hasConcept C26760741 @default.
• W2912198069 hasConcept C33923547 @default.
• W2912198069 hasConcept C41008148 @default.
• W2912198069 hasConcept C50644808 @default.
• W2912198069 hasConcept C75606506 @default.
• W2912198069 hasConcept C86803240 @default.
• W2912198069 hasConceptScore W2912198069C110251889 @default.
• W2912198069 hasConceptScore W2912198069C111498074 @default.
• W2912198069 hasConceptScore W2912198069C115903868 @default.
• W2912198069 hasConceptScore W2912198069C118615104 @default.
• W2912198069 hasConceptScore W2912198069C119857082 @default.
• W2912198069 hasConceptScore W2912198069C154945302 @default.
• W2912198069 hasConceptScore W2912198069C162838799 @default.
• W2912198069 hasConceptScore W2912198069C169760540 @default.
• W2912198069 hasConceptScore W2912198069C177264268 @default.
• W2912198069 hasConceptScore W2912198069C199360897 @default.
• W2912198069 hasConceptScore W2912198069C26760741 @default.
• W2912198069 hasConceptScore W2912198069C33923547 @default.
• W2912198069 hasConceptScore W2912198069C41008148 @default.
• W2912198069 hasConceptScore W2912198069C50644808 @default.
• W2912198069 hasConceptScore W2912198069C75606506 @default.
• W2912198069 hasConceptScore W2912198069C86803240 @default.
• W2912198069 hasLocation W29121980691 @default.
• W2912198069 hasOpenAccess W2912198069 @default.
• W2912198069 hasPrimaryLocation W29121980691 @default.
• W2912198069 hasRelatedWork W149627109 @default.
• W2912198069 hasRelatedWork W1498428601 @default.
• W2912198069 hasRelatedWork W1529741902 @default.
• W2912198069 hasRelatedWork W1553359328 @default.
• W2912198069 hasRelatedWork W1571352496 @default.
• W2912198069 hasRelatedWork W1778825622 @default.
• W2912198069 hasRelatedWork W1924890580 @default.
• W2912198069 hasRelatedWork W1978071567 @default.
• W2912198069 hasRelatedWork W2122382641 @default.
• W2912198069 hasRelatedWork W2128186094 @default.
• W2912198069 hasRelatedWork W2162664836 @default.
• W2912198069 hasRelatedWork W2175899058 @default.
• W2912198069 hasRelatedWork W2201727731 @default.
• W2912198069 hasRelatedWork W2254317216 @default.
• W2912198069 hasRelatedWork W2467770597 @default.
• W2912198069 hasRelatedWork W279389688 @default.
• W2912198069 hasRelatedWork W2887649345 @default.
• W2912198069 hasRelatedWork W2965660219 @default.
• W2912198069 hasRelatedWork W3008611995 @default.
• W2912198069 hasRelatedWork W3107571387 @default.
• W2912198069 isParatext "false" @default.

• next