Placeholder text
Runtime Verification
0 - Default Title
Description
.- A ROS Adapter for RTLola.
.- DynSRV: Dynamically Updated Properties for Stream Runtime Verification.
.- Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter.
.- Alignment Monitoring.
.- Instrumenting Runtime Enforcement.
.- Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.
.- The Power of Reframing: Using LLMs in Synthesizing RV Monitors.
.- Conformal Safety Shielding for Imperfect-Perception Agents.
.- Extended Timed Regular Expressions.
.- Monitoring Distributed Systems based on Partial Order Executions with Global States.
.- Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation.
.- CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series.
.- Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study.
.- Conformal Predictive Monitoring for Multi-Modal Scenarios.
.- Runtime Verification for LTL in Stochastic Systems.
.- A Practical Approach to Runtime Verification.
.- Hyper pattern matching.
.- Monitoring Hypernode Logic Over Infinite Domains.
.- A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems.
.- Statistical Runtime Verification for LLMs via Robustness Estimation.
.- ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis.
.- Runtime Consultants.
Product details
Binding:
Paperback
Number of Pages:
536
Release Date:
2025-09-14
Publication Date:
2025-09-14
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032054346
ISBN13:
9783032054340
GPSR Manufacturer Reference:
Weight:
803 g
Height:
155 cm
Width:
235 cm
Thickness:
29 cm
Currently sold out