Ltl

Verification of LTL Properties on Neural Networks for Chemical Process Monitoring

The specification and verification of temporal properties are crucial to assess the safety of monitoring systems. Such systems need to ensure that certain properties are validated during their full operation time. The rich pattern-finding …