Imaxe de Portada

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University...

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros autores: Jansen, Nils (Editor), Junges, Sebastian (Editor), Kaminski, Benjamin Lucien (Editor), Matheja, Christoph (Editor), Noll, Thomas (Editor), Quatmann, Tim (Editor), Stoelinga, Mariëlle (Editor), Volk, Matthias (Editor)
Formato: Electrónico eBook
Idioma:inglés
Publicado: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edición:1st ed. 2025.
Series:Lecture Notes in Computer Science, 15262
Subjects:
Computer science.
Software engineering.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Software Engineering.
Acceso en liña:https://doi.org/10.1007/978-3-031-75778-5
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Table of Contents:
  • Formal Methods and Machine Learning
  • Learning Generalized Stochastic Petri Nets From Event Data
  • Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages
  • A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
  • Malwa: Learnability by Design
  • Formal Verification Techniques for Vision-based Autonomous Systems – A Survey
  • What is Formal Verification without Specifications? A Survey on Mining LTL Specifications
  • Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
  • L# for DFAs
  • Verification Techniques
  • The Transformation Game: Joining Forces for Verification
  • The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing
  • Compiling Binary Decision Diagrams with Interrupt-based Downsizing
  • Modular criticality analysis for dynamic fault trees
  • Timed Systems
  • Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente
  • (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts
  • Urgency Annotations for Alternating Choices
  • Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks
  • Games
  • Ten Years of Petri Games
  • Compositional Solution of Mean Payoff Games by String Diagrams
  • Solving parity games, very slowly
  • Academia Give Probabilities a Fair Chance
  • Making ETAPS Gold Open Access.

Títulos similares