97,95 €
97,95 €
inkl. MwSt.
Sofort per Download lieferbar
49 °P sammeln
97,95 €
Als Download kaufen
97,95 €
inkl. MwSt.
Sofort per Download lieferbar
49 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
97,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
49 °P sammeln
Andere Kunden interessierten sich auch für
![AI 2021: Advances in Artificial Intelligence (eBook, PDF)]( "AI 2021: Advances in Artificial Intelligence (eBook, PDF)")
AI 2021: Advances in Artificial Intelligence (eBook, PDF)81,95 €![Experimental IR Meets Multilinguality, Multimodality, and Interaction (eBook, PDF)]( "Experimental IR Meets Multilinguality, Multimodality, and Interaction (eBook, PDF)")
Experimental IR Meets Multilinguality, Multimodality, and Interaction (eBook, PDF)73,95 €![Analysis of Images, Social Networks and Texts (eBook, PDF)]( "Analysis of Images, Social Networks and Texts (eBook, PDF)")
Analysis of Images, Social Networks and Texts (eBook, PDF)61,95 €![Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection (eBook, PDF)]( "Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection (eBook, PDF)")
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection (eBook, PDF)40,95 €![Progress in Artificial Intelligence (eBook, PDF)]( "Progress in Artificial Intelligence (eBook, PDF)")
Progress in Artificial Intelligence (eBook, PDF)40,95 €![Advanced Hybrid Information Processing (eBook, PDF)]( "Advanced Hybrid Information Processing (eBook, PDF)")
Advanced Hybrid Information Processing (eBook, PDF)97,95 €![Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons (eBook, PDF)]( "Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons (eBook, PDF)")
Artificial Intelligence with and for Learning Sciences. Past, Present, and Future Horizons (eBook, PDF)40,95 €
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.
The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.
The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.