Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.

Alexandre Genon, Thierry Massart, Cdric Meuter

Browse the full FM paper archive.