{"product_id":"automated-technology-for-verification-and-analysis-von-undefined-10","title":"Automated Technology for Verification and Analysis","description":"\n                                \n                \u003cp\u003eThis book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification. \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783032087065\"\u003e\u003ch3\u003e23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783032087065","offer_id":56344596021573,"sku":"9783032087065","price":87.73,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/85cd3926-275a-434d-b63e-4288f2aa841e.jpg?v=1777954217","url":"https:\/\/shop.autorenwelt.de\/products\/automated-technology-for-verification-and-analysis-von-undefined-10","provider":"Autorenwelt Shop","version":"1.0","type":"link"}