activity
20242026
most citedTemporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

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

collaborators
Showing math.OAShow all

1 paper · 1 filter

math.OA2026

On split exact sequences and KK-equivalences of amplified graph C*-algebras

Jesse Reimann, Sophie Emma Zegers

We give a general methodology for constructing split exact sequences of amplified graph C*-algebras with sinks. This in turn allows us to construct explicit KK-equivalences with $\…