{"product_id":"principles-of-verification-cycling-the-probabilistic-landscape-9783031757778","title":"Principles of Verification Cycling the Probabilistic Landscape","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eFormal 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195420336471,"sku":"9783031757778","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/principles-of-verification-cycling-the-probabilistic-landscape-9783031757778","provider":"Book Curl","version":"1.0","type":"link"}