We present a technique for generating efficient monitors for ω-regular-languages. We show how Büchi automata can be reduced in size and transformed into special, statistically optimal nondeterministic finite state machines, called binary transition tree finite state machines (BTT-FSMs), which recognize precisely the minimal bad prefixes of the original ω-regular-language. The presented technique is implemented as part of a larger monitoring framework and is available for download. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
D’Amorim, M., & Roşu, G. (2005). Efficient monitoring of ω-languages. In Lecture Notes in Computer Science (Vol. 3576, pp. 364–378). Springer Verlag. https://doi.org/10.1007/11513988_36
Mendeley helps you to discover research relevant for your work.