activity
20232026
most citedVerifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.LGShow all

1 paper · 2 filters

cs.LG2026

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

Bardh Hoxha, Oliver Schön, Hideki Okamoto +2

We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quanti…