79 citations · 87 across the 10 of their papers we have counts for
1 paper · 2 filters
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher +2
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification langua…