1 paper
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
The verification of cyber-physical systems operating in a safety-critical environment requires formal system models. The validity of the verification hinges on the precision of the…