MA-DBN: Modeling Cooperative Agents for Approximate Online Monitoring | IEEE Conference Publication | IEEE Xplore