Research Field
- Dependable Systems Engineering
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 / Lecture › Presentation at a scientific conference / workshop