AI Verification

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

Guy Avni,Mirco Giacobbe,Taylor T. Johnson,Guy Katz,Anna Lukina,Nina Narodytska,Christian Schilling

Springer Nature Proceedings Computer Science

Buy the eBook

Ahorra 10 %Precio de venta: $149.832 CLP.$134.848CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Inteligencia artificial

Acerca de este libro

Idioma:English
ISBN:9783031651120
Fecha de lanzamiento:17 jul 2024
Editorial:Springer Nature Switzerland

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:17.54 MB
Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

AI Verification

Guy Avni,Christian Schilling

Lecturas relacionadas

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Gmdh-methodology And Implementation In Matlab

Godfrey C Onwubolu

$41.477

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Introduction To Machine Learning In Quantitative Finance, An

Hao Ni, Xin Dong, Jinsong Zheng, Guangxi Yu

$36.654

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Adaptive Machine Learning Algorithms with Python

Chanchal Chatterjee

$49.358

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Simulation-Based Algorithms for Markov Decision Processes

Hyeong Soo Chang, Jiaqiao Hu, Michael C. Fu, Steven I. Marcus

$101.133

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Continual and Reinforcement Learning for Edge AI

Hang Wang, Sen Lin, Junshan Zhang

$50.561

Machine Learning and Knowledge Discovery in Databases. Research Track

Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano

$112.372

Machine Learning and Knowledge Discovery in Databases. Research Track

Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano

$112.372

Deep Learning

Manel Martinez-Ramon, Meenu Ajith, Aswathy Rajendra Kurup

$81.760

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

AI Verification

Mirco Giacobbe, Anna Lukina

$64.047

Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

M Ali

$573.404

Intent Recognition for Human-Machine Interactions

Hua Xu, Hanlei Zhang, Ting-En Lin

$56.180

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Advances in Knowledge Discovery and Data Mining

Hisashi Kashima, Tsuyoshi Ide, Wen-Chih Peng

$146.087

Runtime Verification

Panagiotis Katsaros, Laura Nenzi

$78.657

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Andreas Rauh, Bernd Finkbeiner, Paul Kröger

$89.895

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker

$61.799

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Advances in Knowledge Discovery and Data Mining

Hisashi Kashima, Tsuyoshi Ide, Wen-Chih Peng

$89.895

Learning and Intelligent Optimization

Meinolf Sellmann, Kevin Tierney

$101.133

Computational Intelligence

Juan Julián Merelo, Jonathan Garibaldi, Alejandro Linares-Barranco, Kevin Warwick, Kurosh Madani

$101.133

Advances in Knowledge Discovery and Data Mining

De-Nian Yang, Xing Xie, Vincent S. Tseng, Jian Pei, Jen-Wei Huang, Jerry Chun-Wei Lin

$146.087

Neural Networks and Deep Learning

Charu C. Aggarwal

$61.799

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

$101.133

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Tias Guns

$101.133

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

$134.848

Artificial Neural Networks and Machine Learning – ICANN 2024

Michael Wand, Kristína Malinovská, Jürgen Schmidhuber, Igor V. Tetko

$89.895

Continual Semi-Supervised Learning

Fabio Cuzzolin, Kevin Cannons, Vincenzo Lomonaco

$61.799

Learning and Intelligent Optimization

Yingqian Zhang, Milan Hladik, Hossein Moosaei

$73.037

Automated Technology for Verification and Analysis

Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan

$89.895

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns, Jun Sun, Lei Bu

$89.895

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Ensemble Machine Learning

Cha Zhang, Yunqian Ma

$246.118

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Andre A. Cire

$101.133

Runtime Verification

Lu Feng, Dana Fisman

$84.276

Advances in Intelligent Data Analysis XXII

Ioanna Miliou, Nico Piatkowski, Panagiotis Papapetrou

$112.372

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

Advanced Data Mining and Applications

Guojun Gan, Bohan Li, Xue Li, Shuliang Wang

$56.180

Verification, Model Checking, and Abstract Interpretation

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

$84.276

Robust Speaker Recognition in Noisy Environments

Sourjya Sarkar, K. Sreenivasa Rao

$56.180

Discovery Science

Petra Kralj Novak, Tomislav Šmuc, Sašo Džeroski

$89.895

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

$56.180

Discovery And Fusion Of Uncertain Knowledge In Data

Kun Yue, Weiyi Liu, Dapeng Tao, Ming Gao, Hao Wu

$67.522

Statistical Modeling of Reliability Structures and Industrial Processes

Ioannis S. Trianntafyllou, Mangey Ram

$73.942

Computational Structural Behavior

Cheng Wang

$157.324

Machine Learning and Knowledge Discovery in Databases

Paolo Frasconi, Niels Landwehr, Giuseppe Manco, Jilles Vreeken

$101.133

Structural, Syntactic, and Statistical Pattern Recognition

Andrea Torsello, Luca Rossi, Marcello Pelillo, Battista Biggio, Antonio Robles-Kelly

$56.180

Similarity Search and Applications

Giuseppe Amato, Vladimir Mic, Agma Traina, Nicola Messina, Laurent Amsaleg, Gylfi Þór Guðmundsson, Björn Þór Jónsson, Lucia Vadicamo

$73.037

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady, Christoph Haase

$82.028

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

$84.276

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

$101.133

Advances in Knowledge Discovery and Data Mining

João Gama, Tianrui Li, Yang Yu, Enhong Chen, Yu Zheng, Fei Teng

$101.133

PRICAI 2022: Trends in Artificial Intelligence

Sankalp Khanna, Jian Cao, Quan Bai, Guandong Xu

$101.133

Machine Learning and Knowledge Discovery in Databases

Frank Hutter, Kristian Kersting, Jefrey Lijffijt, Isabel Valera

$101.133

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Inductive Logic Programming

Nikos Katzouris, Alexander Artikis

$73.037

Artificial Neural Networks and Machine Learning – ICANN 2023

Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne

$101.133

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$84.276

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

Handbook of Neural Network Signal Processing

Yu Hen Hu, Jenq-Neng Hwang

$428.713

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

$84.276

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$89.895

Industrial and Engineering Applications or Artificial Intelligence and Expert Systems

Takushi Tanaka, Setsuo Ohsuga, Ali Moonis

$401.919

Nonparametric Kernel Density Estimation and Its Computational Aspects

Artur Gramacki

$146.087

Formal Methods and Software Engineering

Yi Li, Sofiène Tahar

$73.037

Machine Learning and Knowledge Discovery in Databases

Massih-Reza Amini, Stéphane Canu, Asja Fischer, Tias Guns, Petra Kralj Novak, Grigorios Tsoumakas

$95.514

Unsupervised Domain Adaptation

Jingjing Li, Lei Zhu, Zhekai Du

$191.039

Theoretical Aspects of Software Engineering

Wei-Ngan Chin, Zhiwu Xu

$112.372

Machine Learning and Knowledge Discovery in Databases: Research Track

Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi

$112.372

Database and Expert Systems Applications

Robert Wrembel, Gabriele Kotsis, A Min Tjoa, Ismail Khalil

$82.028

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

$56.180

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Pavithra Prabhakar, Andrea Vandin

$73.037

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

$73.037

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

$56.180

Database Systems for Advanced Applications

Hyungsoo Jung, Tianzheng Wang, Masashi Toyoda, Hyuk-Yoon Kwon, Jae-woong Lee

$101.133

Advanced Methodologies for Bayesian Networks

Joe Suzuki, Maomi Ueno

$56.180

Discovery Science

Poncelet Pascal, Dino Ienco

$101.133

Dependable Software Engineering. Theories, Tools, and Applications

Timothy Bourke, Liqian Chen, Amir Goharshady

$89.895

Handbook of Big Data

Peter Bühlmann, Petros Drineas, Michael Kane, Mark van der Laan

$114.670

Knowledge Science, Engineering and Management

Gerard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang, Meikang Qiu

$112.372

Formal Modeling and Analysis of Timed Systems

Nathalie Bertrand, Nils Jansen

$56.180

Ver más por autor

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

$73.037

AI Verification

Guy Avni, Christian Schilling

$73.037

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

AI Verification

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

En esta serie

AI Verification

Lecturas relacionadas

Formal Methods

Gmdh-methodology And Implementation In Matlab

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Introduction To Machine Learning In Quantitative Finance, An

Computer Aided Verification

Adaptive Machine Learning Algorithms with Python

Computer Aided Verification

Computer Aided Verification

Simulation-Based Algorithms for Markov Decision Processes

Computer Aided Verification

Continual and Reinforcement Learning for Edge AI

Machine Learning and Knowledge Discovery in Databases. Research Track

Machine Learning and Knowledge Discovery in Databases. Research Track

Deep Learning

Computer Aided Verification

AI Verification

Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

Intent Recognition for Human-Machine Interactions

Verification, Model Checking, and Abstract Interpretation

Advances in Knowledge Discovery and Data Mining

Runtime Verification

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Computer Aided Verification

Formal Modeling and Analysis of Timed Systems

NASA Formal Methods

Automated Technology for Verification and Analysis

Formal Methods

Advances in Knowledge Discovery and Data Mining

Learning and Intelligent Optimization

Computational Intelligence

Advances in Knowledge Discovery and Data Mining

Neural Networks and Deep Learning

Foundations of Large-Scale Multimedia Information Management and Retrieval

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

NASA Formal Methods

Artificial Neural Networks and Machine Learning – ICANN 2024

Continual Semi-Supervised Learning

Learning and Intelligent Optimization

Automated Technology for Verification and Analysis

Dependable Software Engineering. Theories, Tools, and Applications

Formal Methods

Ensemble Machine Learning

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Runtime Verification

Advances in Intelligent Data Analysis XXII

Automated Technology for Verification and Analysis

Advanced Data Mining and Applications

Verification, Model Checking, and Abstract Interpretation

Robust Speaker Recognition in Noisy Environments

Discovery Science

Automated Technology for Verification and Analysis

Discovery And Fusion Of Uncertain Knowledge In Data

Statistical Modeling of Reliability Structures and Industrial Processes

Computational Structural Behavior

Machine Learning and Knowledge Discovery in Databases

Structural, Syntactic, and Statistical Pattern Recognition

Similarity Search and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Theoretical Aspects of Software Engineering

Formal Methods

Advances in Knowledge Discovery and Data Mining

PRICAI 2022: Trends in Artificial Intelligence

Machine Learning and Knowledge Discovery in Databases

NASA Formal Methods

Inductive Logic Programming

Artificial Neural Networks and Machine Learning – ICANN 2023

Automated Technology for Verification and Analysis

Dependable Software Engineering: Theories, Tools, and Applications