54 citations · 132 across the 18 of their papers we have counts for
1 paper · 2 filters
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.…