27 citations · 32 across the 2 of their papers we have counts for
1 paper · 1 filter
Rose Bohrer, André Platzer
Many cyber-physical systems (CPS) are safety-critical, so it is important to formally verify them, e.g. in formal logics that show a model's correctness specification always holds.…