Publications by authors named "Alexander Weinert"
From LTL to rLTL monitoring: improved monitorability through robust semantics.
Form Methods Syst Des
October 2022
Article Synopsis
- Runtime monitoring helps check if safety rules are followed in important systems by watching their actions.
- Bauer and his team found that many rules can't be checked easily, with 44% of them still being unclear no matter how we look at them.
- The study introduces a new way to check these rules, making it easier to see if they are followed or not, and suggests that all the rules can be monitored with this new method.