150 citations · 270 across the 9 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
eess.SY2025
Data-Selective Online Battery Identification Using Extended Time Regular Expressions
Nicolai A. Weinreich, Marco Muñiz, Marius Mikučionis +2
In this paper, we propose a data-efficient online battery identification method which targets highly informative battery cell data segments based on the driving pattern of the vehi…
cs.LO2025★ 1 cited
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen +4
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…