A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study (abstract)

Stream-based Monitoring under Measurement Noise (abstract)

Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS (abstract)

Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption (abstract)

Sampling-based and Gradient-based Efficient Scenario Generation (abstract)

HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems (abstract)

faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties (abstract)

Efficient Offline Monitoring for Dynamic Metric Temporal Logic (abstract)

TimelyMon: A Streaming Parallel First-Order Monitor (abstract)

Adding State to Stream Runtime Verification (abstract)

The Complexity of Data-Free Nfer (abstract)

RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring (abstract)

Case Study: Runtime Safety Verification of Neural Network Controlled System (abstract)

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces (abstract)

Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study (abstract)

Distributed Monitoring of Timed Properties (abstract)

Towards Efficient Runtime Verified Linearizable Algorithms (abstract)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy (abstract)