Semi-automatic safety analysis and optimization.

Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton

Browse the full DAC paper archive.