Abstract: Automated formalization of legal texts in order to remove ambiguities, conflicts and incompleteness has been a challenge for Requirements Engineering (RE) research for decades. This work ...

Thanks to the rise of language learning apps, such as Duolingo, the number of people learning a second – or third – language ...

Abstract: Radar detection and communication are two of several sub-tasks essential for the operation of next-generation autonomous vehicles (AVs). The former is required for sensing and perception, ...