Description

Book Synopsis

Invited Papers.-When You Have a Fuzzer, Everything Looks Like a Reachability Problem.-The Role of Logic and Automata in Understanding Transformers.-Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis.Regular Papers.-Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems.-Word Chain Generators for Prefix Normal Words.-Reachability and Mortality for Two-Dimensional RHPCD Systems Are co-NP-hard.-Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.-Weighing Obese Timed Languages.-Box-Reachability in Vector Addition Systems.-Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS.-Nets-within-Nets through the Lens of Data Nets.-Compositional Verification of Almost-Sure Büchi Objectives in MDPs.-DTMC Model Checking by Path Abstraction Revisited.-Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification.-Maximum Path Sets in trees.

Reachability Problems

    Product form

    £44.99

    Includes FREE delivery

    RRP £4,999.00 – you save £4,954.01 (99%)

    Order before 4pm tomorrow for delivery by Sat 4 Jul 2026.

    A Paperback by Pierre Ganty

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Reachability Problems by Pierre Ganty

      Publisher: Springer
      Publication Date: 1/9/2026
      ISBN13: 9783032095237, 978-3032095237
      ISBN10: 3032095239

      Description

      Book Synopsis

      Invited Papers.-When You Have a Fuzzer, Everything Looks Like a Reachability Problem.-The Role of Logic and Automata in Understanding Transformers.-Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis.Regular Papers.-Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems.-Word Chain Generators for Prefix Normal Words.-Reachability and Mortality for Two-Dimensional RHPCD Systems Are co-NP-hard.-Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.-Weighing Obese Timed Languages.-Box-Reachability in Vector Addition Systems.-Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS.-Nets-within-Nets through the Lens of Data Nets.-Compositional Verification of Almost-Sure Büchi Objectives in MDPs.-DTMC Model Checking by Path Abstraction Revisited.-Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification.-Maximum Path Sets in trees.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account