Monitoring Algorithms for Metric Temporal Logic Specifications
Open Access
- 3 January 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 113, 145-162
- https://doi.org/10.1016/j.entcs.2004.01.029
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Program monitoring with LTL in EaglePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- An Improved On-the-Fly Tableau Construction for a Real-Time Temporal LogicLecture Notes in Computer Science, 2003
- Freedom, weakness, and determinism: from linear-time to branching-timePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- On the Construction of Monitors for Temporal Logic PropertiesElectronic Notes in Theoretical Computer Science, 2001
- Checking Finite Traces using Alternating AutomataElectronic Notes in Theoretical Computer Science, 2001
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985