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