Login / Signup

Validating Safety Arguments with Lean.

Logan MurphyTorin VigerAlessio Di SandroRamy ShahinMarsha Chechik
Published in: SEFM (2021)
Keyphrases
  • real time
  • multimedia
  • user interface
  • probabilistic model
  • argumentation frameworks
  • road safety