Deepak D'Souza, Raj Mohan Matteplackel. A Compositional Hierarchical Monitoring Automaton Construction for LTL. In Abhik Roychoudhury, Meenakshi D'Souza, editors, Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Volume 7521 of Lecture Notes in Computer Science, pages 16-29, Springer, 2012. [doi]
Abstract is missing.