18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / Bertrand, Nathalie ; Jansen, Nils  

Público ISBD Ningún comentario para este título. Título : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings Tipo de documento: documento electrónico Autores: Bertrand, Nathalie, ; Jansen, Nils, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 301 p. 657 ilustraciones, 55 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57628-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Inteligencia artificial  Microprogramación  Sistemas informáticos  Computadoras  Propósitos especiales  Ordenadores  Teoría de la Computación  Estructuras de control y microprogramación.  Implementación de sistema informático  Sistemas de propósito especial y basados ​​en aplicaciones  Hardware de la computadora Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2020, celebrada en Viena, Austria, en septiembre de 2020. Los 16 artículos completos y 2 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 42 presentaciones. Los artículos se centran en temas como fundamentos y semántica, métodos y herramientas, técnicas, algoritmos, estructuras de datos y herramientas de software para analizar sistemas cronometrados y resolver restricciones temporales. Debido a la pandemia de Corona, esta conferencia se llevó a cabo como un evento virtual. Nota de contenido: On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings [documento electrónico] / Bertrand, Nathalie, ; Jansen, Nils,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 301 p. 657 ilustraciones, 55 ilustraciones en color. ISBN : 978-3-030-57628-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Inteligencia artificial  Microprogramación  Sistemas informáticos  Computadoras  Propósitos especiales  Ordenadores  Teoría de la Computación  Estructuras de control y microprogramación.  Implementación de sistema informático  Sistemas de propósito especial y basados ​​en aplicaciones  Hardware de la computadora Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 18.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2020, celebrada en Viena, Austria, en septiembre de 2020. Los 16 artículos completos y 2 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de 42 presentaciones. Los artículos se centran en temas como fundamentos y semántica, métodos y herramientas, técnicas, algoritmos, estructuras de datos y herramientas de software para analizar sistemas cronometrados y resolver restricciones temporales. Debido a la pandemia de Corona, esta conferencia se llevó a cabo como un evento virtual. Nota de contenido: On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

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