1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Gary Simethy, Daniel Ortiz Arroyo, Petar Durdevic
Operators of safety-critical industrial processes increasingly rely on digital twins to screen control interventions, but such simulators rarely carry certified safety guarantees.…