Model Checking, Synthesis, and Learning / Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang  

Público ISBD Ningún comentario para este registro. Título : Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Tipo de documento: documento electrónico Autores: Olderog, Ernst-Rüdiger, ; Steffen, Bernhard, ; Yi, Wang, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 219 p. 73 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-91384-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  Inteligencia artificial  Ingeniería de software  Microprogramación  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Estructuras de control y microprogramación  Sistemas de propósito especial y basados ​​en aplicaciones Índice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Bengt Jonsson con motivo de su 60 cumpleaños, contiene artículos escritos por muchos de sus amigos y colaboradores. Bengt ha realizado importantes contribuciones que abarcan una amplia gama de temas, incluidos la verificación y el aprendizaje. Sus trabajos sobre verificación, sistemas de estados finitos, aprendizaje, pruebas, sistemas probabilísticos, sistemas cronometrados y sistemas distribuidos reflejan tanto la diversidad como la profundidad de su investigación. Además de ser un excelente científico, Bengt también es un líder que ha influido enormemente en las carreras tanto de sus alumnos como de sus colegas. Su enfoque principal a lo largo de su carrera ha sido el área de métodos formales, y los artículos de investigación que se le dedican en este volumen abordan temas relacionados, particularmente relacionados con la verificación de modelos, la lógica temporal y el aprendizaje de autómatas. Nota de contenido: Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. 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 Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday [documento electrónico] / Olderog, Ernst-Rüdiger, ; Steffen, Bernhard, ; Yi, Wang,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - VIII, 219 p. 73 ilustraciones, 29 ilustraciones en color. ISBN : 978-3-030-91384-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  Inteligencia artificial  Ingeniería de software  Microprogramación  Computadoras  Propósitos especiales  Lógica informática y fundamentos de la programación  Estructuras de control y microprogramación  Sistemas de propósito especial y basados ​​en aplicaciones Índice Dewey: 40.151 Resumen: Este Festschrift, dedicado a Bengt Jonsson con motivo de su 60 cumpleaños, contiene artículos escritos por muchos de sus amigos y colaboradores. Bengt ha realizado importantes contribuciones que abarcan una amplia gama de temas, incluidos la verificación y el aprendizaje. Sus trabajos sobre verificación, sistemas de estados finitos, aprendizaje, pruebas, sistemas probabilísticos, sistemas cronometrados y sistemas distribuidos reflejan tanto la diversidad como la profundidad de su investigación. Además de ser un excelente científico, Bengt también es un líder que ha influido enormemente en las carreras tanto de sus alumnos como de sus colegas. Su enfoque principal a lo largo de su carrera ha sido el área de métodos formales, y los artículos de investigación que se le dedican en este volumen abordan temas relacionados, particularmente relacionados con la verificación de modelos, la lógica temporal y el aprendizaje de autómatas. Nota de contenido: Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking Revisited -- High-Level Representation of Benchmark Families for Petri Games -- Towards Engineering Digital Twinsby Active Behaviour Mining -- Never-Stop Context-Free Learning -- A Taxonomy and Reductions for Common Register Automata Formalisms. 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) Par page : 25 50 100 200