Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « paper-1 | paper-2 | paper-3 »

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language

Alisa Kovtunova ORCID dblp
Mayank Jobanputra dblp
Stefan Borgwardt ORCID dblp Wikidata
Duy Nhu dblp
Vera Demberg ORCID dblp Wikidata GND