{"product_id":"reachability-problems-9783032095237","title":"Reachability Problems","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cstrong\u003eInvited Papers.-\u003c\/strong\u003eWhen 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.\u003cstrong\u003eRegular Papers.-\u003c\/strong\u003eWord 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52151403315543,"sku":"9783032095237","price":44.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783032095237.jpg?v=1762961082","url":"https:\/\/bookcurl.com\/products\/reachability-problems-9783032095237","provider":"Book Curl","version":"1.0","type":"link"}