"Efficient LTL Decentralized Monitoring Framework Using Formula ..."

Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics