Safe Artificial Intelligence and Formal Methods

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-47166-2_49
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Using Artificial Intelligence for Safe and Effective Wildfire Evacuations

Fire Technology
Materials ScienceReliabilitySafetyRiskQuality
2020English

Artificial Intelligence Methods and Their Applications in Civil Engineering

English

Classification of Rice Varieties Using Artificial Intelligence Methods

International Journal of Intelligent Systems and Applications in Engineering
2019English

Artificial Intelligence Methods in Diagnostics of Analog Systems

International Journal of Applied Mathematics and Computer Science
2014English

Artificial Intelligence ... »mental Intelligence«

Digitale Welt
2019English

Artificial Intelligence

Communications of the ACM
Computer Science
2012English

Artificial Intelligence and Echocardiography

Echo Research and Practice
Nuclear MedicineRadiologyUltrasound TechnologyRadiologicalAdvancedSpecialized NursingImaging
2018English

Agents and Artificial Intelligence

Communications in Computer and Information Science
MathematicsComputer Science
2011English

Evolutional Methods for Creating Artificial Intelligence of Robotic Technical Systems

Applied Researches in Technics, Technologies and Education
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy