activity
20242026
most citedEfficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

3 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2026

Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation

Mikkel Bjørn, Daniel H. Hansen, Grace Melchiors +2

We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first…