12th International Workshop, NSV 2019, New York City, NY, USA, July 13Ѐ“14, 2019, Proceedings / Zamani, Majid ; Zufferey, Damien  

Público ISBD Ningún comentario para este registro. Título : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13Ѐ“14, 2019, Proceedings Tipo de documento: documento electrónico Autores: Zamani, Majid, ; Zufferey, Damien, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 145 p. 68 ilustraciones, 42 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28423-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Ordenadores  Profesiones  Lógica informática y fundamentos de la programación  La profesión informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas del 12.º Taller Internacional sobre Verificación de Software Numérico, NSV 2019, celebrado en la ciudad de Nueva York, NY, EE. UU., en julio de 2019, coincidiendo con la Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2019. Los 5 artículos completos presentados Junto con 2 artículos breves, 3 resúmenes de charlas invitadas y 2 artículos tutoriales, se revisaron y seleccionaron cuidadosamente entre numerosas presentaciones. El taller NSV 2017 está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification of an Automated Transport System -- Formal Methods for Highly Automated Driving Applications -- Trust, Resilience and Interpretability of AI Models -- Reinforcement Learning and Formal Requirements -- Contributed Papers -- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws -- Rigorous Continuous Evolution of Uncertain Systems -- Stochastic Local Search for Solving Floating-Point Constraints -- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability -- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems -- Polytopic Trees for Verification of Learning-Based Controllers -- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 12th International Workshop, NSV 2019, New York City, NY, USA, July 13Ѐ“14, 2019, Proceedings [documento electrónico] / Zamani, Majid, ; Zufferey, Damien,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XV, 145 p. 68 ilustraciones, 42 ilustraciones en color. ISBN : 978-3-030-28423-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Ordenadores  Profesiones  Lógica informática y fundamentos de la programación  La profesión informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas del 12.º Taller Internacional sobre Verificación de Software Numérico, NSV 2019, celebrado en la ciudad de Nueva York, NY, EE. UU., en julio de 2019, coincidiendo con la Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2019. Los 5 artículos completos presentados Junto con 2 artículos breves, 3 resúmenes de charlas invitadas y 2 artículos tutoriales, se revisaron y seleccionaron cuidadosamente entre numerosas presentaciones. El taller NSV 2017 está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification of an Automated Transport System -- Formal Methods for Highly Automated Driving Applications -- Trust, Resilience and Interpretability of AI Models -- Reinforcement Learning and Formal Requirements -- Contributed Papers -- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws -- Rigorous Continuous Evolution of Uncertain Systems -- Stochastic Local Search for Solving Floating-Point Constraints -- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability -- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems -- Polytopic Trees for Verification of Learning-Based Controllers -- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200