Speaker
Bernhard Beckert
More Information:
Talks at this conference:
| Sat, 11:45 | Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision |
Speaker
| Sat, 11:45 | Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision |