{"product_id":"runtime-verification-9783032054340","title":"Runtime Verification","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- Algorithmic Fairness: A Runtime Perspective.\u003cbr\u003e.- DSLs for Runtime Verification: A Tutorial.\u003cbr\u003e.- Execution and monitoring of HOA automata with HOAX.\u003cbr\u003e.- Formal Verification of Neural Certificates Done Dynamically.\u003cbr\u003e.- Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs.\u003c\/p\u003e\u003cp\u003e.- A ROS Adapter for RTLola.\u003c\/p\u003e\u003cp\u003e.- DynSRV: Dynamically Updated Properties for Stream Runtime Verification.\u003c\/p\u003e\u003cp\u003e.- Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.\u003c\/p\u003e\u003cp\u003e.- Alignment Monitoring.\u003c\/p\u003e\u003cp\u003e.- Instrumenting Runtime Enforcement.\u003c\/p\u003e\u003cp\u003e.- Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.\u003c\/p\u003e\u003cp\u003e.- The Power of Reframing: Using LLMs in Synthesizing RV Monitors.\u003c\/p\u003e\u003cp\u003e.- Conformal Safety Shielding for Imperfect-Perception Agents.\u003c\/p\u003e\u003cp\u003e.- Extended Timed Regular Expressions.\u003c\/p\u003e\u003cp\u003e.- Monitoring Distributed Systems based on Partial Order Executions with Global States.\u003c\/p\u003e\u003cp\u003e.- Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation.\u003c\/p\u003e\u003cp\u003e.- CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series.\u003c\/p\u003e\u003cp\u003e.- Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study.\u003c\/p\u003e\u003cp\u003e.- Conformal Predictive Monitoring for Multi-Modal Scenarios.\u003c\/p\u003e\u003cp\u003e.- Runtime Verification for LTL in Stochastic Systems.\u003c\/p\u003e\u003cp\u003e.- A Practical Approach to Runtime Verification.\u003c\/p\u003e\u003cp\u003e.- Hyper pattern matching.\u003c\/p\u003e\u003cp\u003e.- Monitoring Hypernode Logic Over Infinite Domains.\u003c\/p\u003e\u003cp\u003e.- A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems.\u003c\/p\u003e\u003cp\u003e.- Statistical Runtime Verification for LLMs via Robustness Estimation.\u003c\/p\u003e\u003cp\u003e.- ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis.\u003c\/p\u003e\u003cp\u003e.- Runtime Consultants.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195524800855,"sku":"9783032054340","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/runtime-verification-9783032054340","provider":"Book Curl","version":"1.0","type":"link"}