research
∙
04/28/2021
A Temporal Logic for Asynchronous Hyperproperties
Hyperproperties are properties of computational systems that require mor...
share
research
∙
03/27/2020
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
The autonomous control of unmanned aircraft is a highly safety-critical ...
research
∙
03/18/2020
