{"product_id":"runtime-verification-9783031742330","title":"Runtime Verification","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- Invited Paper.\u003cbr\u003e.- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities.\u003cbr\u003e.- Cyber-physical Systems.\u003cbr\u003e.- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.\u003cbr\u003e.- Stream-based Monitoring under Measurement Noise.\u003cbr\u003e.- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS.\u003cbr\u003e.- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.\u003cbr\u003e.- Sampling-based and Gradient-based Efficient Scenario Generation.\u003cbr\u003e.- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.\u003cbr\u003e.- Temporal Logics.\u003cbr\u003e.- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.\u003cbr\u003e.- Efficient Online Monitoring for Dynamic Metric Temporal Logic.\u003cbr\u003e.- TimelyMon: A Streaming Parallel First-Order Monitor.\u003cbr\u003e.- Specification and Visualization.\u003cbr\u003e.- Adding State to Stream Runtime Verification.\u003cbr\u003e.- The Complexity of Data-Free Nfer.\u003cbr\u003e.- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring.\u003cbr\u003e.- Deep Neural Networks.\u003cbr\u003e.- Case Study: Runtime Safety Verification of Neural Network Controlled System.\u003cbr\u003e.- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.\u003cbr\u003e.- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.\u003cbr\u003e.- Distributed Systems.\u003cbr\u003e.- Distributed Monitoring of Timed Properties.\u003cbr\u003e.- Towards Efficient Runtime Veri ed Linearizable Algorithms.\u003cbr\u003e.- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195414929751,"sku":"9783031742330","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/runtime-verification-9783031742330","provider":"Book Curl","version":"1.0","type":"link"}