Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL.

Xiaoning Du Yang Liu Alwen Tiu

Published in: FM (2015)

Keyphrases

real time
model checking
monitoring system
temporal logic
optimal policy
total length
decision support
quantitative and qualitative
early warning
optimal solution
access control
sufficient conditions
qualitative and quantitative
control policies
linear temporal logic
bounded model checking