Automata-less Monitoring via Trace-Checking.

Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno

Browse the full AAAI paper archive.