Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Língua InglêsInglês
E-book Adobe ePub DRM
Editoras Springer, julho 2024
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification... Descrição completa
? points 303 b
125.58 €
Em stock Imediatamente descarregável

Os clientes também compraram

Parisuhderetriitti Lorraine Brown / E-book Adobe ePub DRM
common.buy 6.98 €
Em breve
Godzilla Classic Collection Herb Trimpe / Livro Capa mole
common.buy 52.15 €
Les coulisses du Tour de France Jean-Luc Gatellier / Livro Capa mole
common.buy 61.27 €
Prospectiva estratégica David Arias Chávez / Livro Capa mole
common.buy 19.03 €
Le fracas et le silence Cory Anderson / Livro Capa mole
common.buy 19.84 €
Zlatan Matt Oldfield / Livro Capa mole
common.buy 9.71 €
Magic Water Colouring - Feen und Elfen Rachael McLean / Livro Livro de capa dura
common.buy 6.78 €
Am eignen Herd Maximilian Bern / Livro Livro de capa dura
common.buy 61.37 €
Resonanzwandler für die Erzeugung hoher Gleichspannungen Martin Rentzsch / Livro Capa mole
common.buy 23.59 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo AI Verification
Autor Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
Língua Inglês
Encadernação E-book - Adobe ePub DRM
Data de emissão 2024
EAN 9783031651120
Código Libristo 47698559
Editoras Springer

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

The Banking Sector of Azerbaijan Anar Ibrahimov / Livro Capa mole
common.buy 39.39 €
An Introduction to Model-Based Cognitive Neuroscience Birte U. Forstmann / Livro Livro de capa dura
common.buy 165.28 €
Principal
Who Made Me a Princess Vol. 4 Spoon / Livro Capa mole
common.buy 14.07 €
Iacobus Matilde Asensi / E-book Adobe ePub DRM
common.buy 3.23 €
Counterfeit Candidate Brian Klein / Livro Capa mole
common.buy 10.22 €
INSIDE IMPROVISATION 6 - DEVELOPING A JAZZ LANGUAGE - RECUEIL + CD (TOUS INSTRUMENTS) JERRY BERGONZI / Artigos impressos Partituras
common.buy 44.55 €
Principal
Lonely Planet Pocket Barcelona Lonely planet eng / Livro Capa mole
common.buy 9.41 €
Confederate Generals in the Trans-Mississippi Lawrence Lee Hewitt / Livro Livro de capa dura
common.buy 59.85 €
I Was Shipwrecked on the Andrea Doria! the Titanic of the 1950s Pierette Domenica Simpson / Livro Capa mole
common.buy 10.83 €
Blur: The Speed of Change in the Connected Economy Stanley M. Davis / Livro Capa mole
common.buy 15.59 €
Advanced Microsystems for Automotive Applications 98 Detlef E. Ricken / Livro Capa mole
common.buy 46.07 €
Observing Variable Stars Gerry A. Good / Livro Capa mole
common.buy 27.74 €
Cultural/Subcultural Contexts of Marijuana Use at the Turn of the Twenty-First Century Andrew Golub / Livro Livro de capa dura
common.buy 216.33 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo