most citedOnline Monitoring of Metric Temporal Logic using Sequential Networks

8 citations

researchers with a paper here
collaborating institutions
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2026

First Order Logic on Pathwidth Revisited Again

Michael Lampis

Courcelle's celebrated theorem states that all MSO-expressible properties can be decided in linear time on graphs of bounded treewidth. Unfortunately, the hidden constant implied b…