3 citations · 3 across the 1 of their papers we have counts for
1 paper
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in…