Fault Explanation guided by Signal Temporal Logic Specifications

  • Ezio Bartocci (Author)
  • Thomas Ferrère (Author)
  • Oded Maler (Author)
  • Nickovic, D. (Speaker)
  • Niveditha Manjunath (Author)

Activity: Talk or presentation / LecturePresentation at a scientific conference / workshop

Period8 Aug 2018
Event titleUniversity of Michigan
Event typeOther

Research Field

  • Dependable Systems Engineering